Changeset 36280 for main/trunk

Timestamp:

2022-07-01T11:55:16+12:00 (22 months ago)

Author:

kjdon

Message:

we now use greenstone.default.servlet instead of server.default.servlet in build.properties

File:

• main/trunk/greenstone3/src/java/org/greenstone/server/BaseProperty.java (modified) (1 diff)

main/trunk/greenstone3/src/java/org/greenstone/server/BaseProperty.java

@@ -10 +10 @@
     public final String ALLOW_EXTERNAL_ACCESS;
 
-    public final String DEFAULT_SERVLET = "server.default.servlet";
+    public final String DEFAULT_SERVLET = "greenstone.default.servlet";
 
     public final String WEB_PORT;