Changeset 15351


Ignore:
Timestamp:
2008-05-07T09:40:45+12:00 (16 years ago)
Author:
oranfry
Message:

fixing the default port number

File:
1 edited

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
Note: See TracChangeset for help on using the changeset viewer.