Changeset 32334 for main/trunk/greenstone3/build.properties.svn

Timestamp:

2018-08-14T15:50:12+12:00 (6 years ago)

Author:

ak19

Message:

All the changes (still preliminary) that use tomcat.https.port and tomcat.http.port to determine tomcat.port and write it out to build.xml. Now the server application won't quite work: it can't change the port numbers as its code only knows to write out the tomcat.port, and the actual tomcat port (https or http) will remain unaffected. But I'll fix this later, as there may be a better way to do this.

File:

• main/trunk/greenstone3/build.properties.svn (modified) (2 diffs)

main/trunk/greenstone3/build.properties.svn

@@ -11 +11 @@
 # but not remotely
 tomcat.server=localhost
-# The port number that tomcat is/will be run on
-tomcat.port=8383
+tomcat.http.port=8383
+tomcat.https.port=8443
 # Tomcat's shutdown port - this may need to be changed if you are running two or more Tomcats
 tomcat.shutdown.port=8305
@@ -161 +161 @@
 ##listing and description of all the web services deployable on GS3##
 web.services.list=${base.webservice.name} for Greenstone3's core web services, QBR${base.webservice.name} for Query, Browse and Retrieve services
+
+## ------------------------------------------------------ ##
+## Do not modify any properties that appear after this
+## as they are automatically generated.
+## ------------------------------------------------------ ##
+
+## The port number that tomcat is/will run on by default (i.e. for the default server.protocol value set)