Changeset 15334
- Timestamp:
- 2008-05-02T14:39:13+12:00 (16 years ago)
- Location:
- greenstone3/trunk
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
greenstone3/trunk/build.properties
r15329 r15334 20 20 tomcat.server=localhost 21 21 # The port number that tomcat is/will be run on 22 tomcat.port=808 022 tomcat.port=8081 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 -
greenstone3/trunk/build.xml
r15329 r15334 412 412 <echo>gli.present = ${gli.present}</echo> 413 413 <echo>gs2build.present = ${gs2build.present}</echo> 414 <echo>gsdl2.installed.path = ${gsdl2.installed.path}</echo> 415 <!-- gsdl2.installed.path appears not to be set? --> 414 <!-- gsdl2.installed.path appears not to be set, so wrap in if block --> 415 <if> 416 <bool><isset property="gsdl2.installed.path"/></bool> 417 <echo>gsdl2.installed.path = ${gsdl2.installed.path}</echo> 418 </if> 416 419 417 420 <condition property="proxy.present">
Note:
See TracChangeset
for help on using the changeset viewer.