Changeset 25549

Show
Ignore:
Timestamp:
08.05.2012 21:37:23 (7 years ago)
Author:
ak19
Message:

Added target to print out default library servlet URL so that activate.pl can use it.

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • main/trunk/greenstone3/build.xml

    r25501 r25549  
    621621  </target> 
    622622 
     623  <target name="get-default-servlet-url"> 
     624    <echo>http://${tomcat.server}:${tomcat.port}${app.path}${server.default.servlet}</echo> 
     625  </target>  
     626   
    623627  <target name="start" depends="init,configure-web,start-tomcat" 
    624628    description="Startup the Tomcat server." >