Changeset 36119

Timestamp:

2022-03-15T13:58:21+13:00 (2 years ago)

Author:

kjdon

Message:

removed server.default.servlet from build.properties, use greenstone.default.servlet instead

Location:

main/trunk/greenstone3

Files:

• build.properties.svn (modified) (1 diff)
• build.xml (modified) (1 diff)

main/trunk/greenstone3/build.properties.svn

@@ -104 +104 @@
 # if set to true, won't try other ports if the specified port is not available
 server.keep.port=false
-# default servlet to start with
-server.default.servlet=/library
 # whether to make the greenstone pages publicly accessible or only to this machine
 server.external.access=true

main/trunk/greenstone3/build.xml

@@ -182 +182 @@
   </if>
 
+  <property name="server.default.servlet" value="${greenstone.default.servlet}"/>
   <!-- 
        * "valid ports range from 1024–49151" is probably about user assignable ports.