Ignore:
Timestamp:
2011-04-05T20:29:59+12:00 (13 years ago)
Author:
ak19
Message:

Not a bug as suspected, just a change of target. Changing the port number in build.properties now requires calling the configure target not configure-web since the latter no longer updates the tomcat server.xml file, while configure will call both configure-tomcat (which does update server.xml) and configure-web, which will write the new port number into global.properties as well.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • main/trunk/greenstone3/build.xml

    r23854 r23855  
    543543 
    544544  <target name="configure" depends="init,configure-tomcat,configure-web"
    545     description="Configure the installation (not the C++ code). Includes setting up config files. Should be re-run if you change the build.properties file."/>
     545    description="Configure the installation (not the C++ code). Includes setting up config files. Should be re-run if you change the build.properties file, including if you change the port number."/>
    546546
    547547  <target name="clean" depends="init,clean-packages,clean-core,clean-common-src,clean-collection-building,clean-classpath-jars"
Note: See TracChangeset for help on using the changeset viewer.