Guest User

Untitled

a guest
Apr 26th, 2018
94
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.42 KB | None | 0 0
  1.  
  2. <!-- Flag à mettre à "True" (case sensitive) pour arrêter et démarrer Tomcat -->
  3.  
  4. <property name="managetomcat.generate" value="True"/>
  5.  
  6. <property name="managetomcat.generate.${managetomcat.generate}" value="True"/>
  7.  
  8.  
  9.  
  10. <target name="tomcat-start" if="managetomcat.generate.True">
  11.  
  12. <java jar="${tomcat.dir}/bin/bootstrap.jar" fork="true">
  13.  
  14. <jvmarg value="-Dcatalina.home=${tomcat.dir}"/>
  15.  
  16. </java>
  17.  
  18. </target>
Add Comment
Please, Sign In to add comment