Changeset 23855

Show
Ignore:
Timestamp:
05.04.2011 20:29:59 (8 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.

Files:
1 modified

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"