Changeset 36099 for main

Timestamp:

2022-03-10T19:21:20+13:00 (2 years ago)

Author:

kjdon

Message:

set a default for greenstone.default.servlet in case its not in build.properties

File:

• main/trunk/greenstone3/build.xml (modified) (1 diff)

main/trunk/greenstone3/build.xml

@@ -340 +340 @@
   <property name="disable.collection.building" value="false"/>
   <property name="oai.servlets" value="oaiserver"/> <!-- in case user has old version of build.properties-->
+  <property name="greenstone.default.servlet" value="/library"/>
   <!-- get properties from the environment -->
   <property environment="env"/>