Changeset 22551
- Timestamp:
- 2010-08-02T10:37:09+12:00 (14 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/greenstone3/build.xml
r22405 r22551 813 813 <!-- need to edit the config file, or do we get the user to do this???--> 814 814 </target> 815 815 816 <!-- Another way: http://ptrthomas.wordpress.com/2006/03/25/how-to-start-and-stop-tomcat-from-ant/ --> 816 817 <target name="start-tomcat" description="Startup only Tomcat" depends="init" if="tomcat.islocal"> 817 818 <property name="tomcat.classpath" refid="local.tomcat.classpath"/> … … 844 845 <http url="http://${tomcat.server}:${tomcat.port}${app.path}/index.html"/> 845 846 </and> 847 </waitfor> 848 </target> 849 850 <!--ant task http: http://www.jajakarta.org/ant/ant-1.6.1/docs/ja/manual/api/org/apache/tools/ant/taskdefs/condition/Http.html--> 851 <target name="reconfigure" description="Reconfigure the message router"> 852 <waitfor maxwait="5" maxwaitunit="second"> 853 <http url="http://${tomcat.server}:${tomcat.port}${app.path}${server.default.servlet}?a=s&sa=c"/> 854 </waitfor> 855 </target> 856 857 <!--Command-line args to Ant: http://www.jguru.com/faq/view.jsp?EID=471794--> 858 <target name="reconfigure-collection" description="Reconfigure the collection"> 859 <waitfor maxwait="5" maxwaitunit="second"> 860 <http url="http://${tomcat.server}:${tomcat.port}${app.path}${server.default.servlet}?a=s&sa=c&sc=${collection}"/> 846 861 </waitfor> 847 862 </target>
Note:
See TracChangeset
for help on using the changeset viewer.