Changeset 15351 for greenstone3

Show
Ignore:
Timestamp:
07.05.2008 09:40:45 (12 years ago)
Author:
oranfry
Message:

fixing the default port number

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • greenstone3/trunk/build.properties

    r15337 r15351  
    2020tomcat.server=localhost 
    2121# The port number that tomcat is/will be run on 
    22 tomcat.port=8081 
     22tomcat.port=8080 
    2323# Tomcat's shutdown port - this may need to be changed if you are running two or more Tomcats 
    2424tomcat.shutdown.port=8005