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/resources/web/global.properties.svn

    r32334 r32337  
    1818tomcat.server=@tomcat.server@ 
    1919tomcat.port=@tomcat.port@ 
    20 tomcat.http.port=@tomcat.http.port@ 
    21 tomcat.https.port=@tomcat.https.port@ 
     20tomcat.port.http=@tomcat.port.http@ 
     21tomcat.port.https=@tomcat.port.https@ 
    2222tomcat.context=@greenstone.context@ 
    2323derby.server.port=@derbyserver.port@