Changeset 15351
- Timestamp:
- 2008-05-07T09:40:45+12:00 (16 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
greenstone3/trunk/build.properties
r15337 r15351 20 20 tomcat.server=localhost 21 21 # The port number that tomcat is/will be run on 22 tomcat.port=808 122 tomcat.port=8080 23 23 # Tomcat's shutdown port - this may need to be changed if you are running two or more Tomcats 24 24 tomcat.shutdown.port=8005
Note:
See TracChangeset
for help on using the changeset viewer.