Show
Ignore:
Timestamp:
14.08.2018 18:35:36 (14 months ago)
Author:
ak19
Message:

Changing tomcat port variable names so they'll be easier to work with later: it's now tomcat.port.http(s) instead of tomcat.http(s).port.

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • main/trunk/greenstone3/build.properties.svn

    r32334 r32337  
    1111# but not remotely 
    1212tomcat.server=localhost 
    13 tomcat.http.port=8383 
    14 tomcat.https.port=8443 
     13tomcat.port.http=8383 
     14tomcat.port.https=8443 
    1515# Tomcat's shutdown port - this may need to be changed if you are running two or more Tomcats 
    1616tomcat.shutdown.port=8305