Advertisement
Guest User

Untitled

a guest
May 24th, 2017
56
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.93 KB | None | 0 0
  1. <target name="jetty.deploy">
  2. <echo message="Stopping jetty..."></echo>
  3. <exec dir="${jetty.home}/bin" executable="${jetty.home}/bin/jetty.sh">
  4. <arg line="stop"/>
  5. </exec>
  6.  
  7. <copy todir="${jetty.home}/webapps" file="${build}/${webapp.name}.war"/>
  8.  
  9. <echo message="Starting jetty..."></echo>
  10. <exec dir="${jetty.home}/bin" executable="${jetty.home}/bin/jetty.sh" spawn="true">
  11. <arg line="start"/>
  12. </exec>
  13.  
  14. <echo message="Watiting for something (hopefully jetty!) to start on port ${jetty.port}..."></echo>
  15. <waitfor maxwait="120" maxwaitunit="second" checkevery="5" checkeveryunit="second" timeoutproperty="jetty.deploy.failed">
  16. <socket server="localhost" port="${jetty.port}"/>
  17. </waitfor>
  18.  
  19. <fail if="jetty.deploy.failed" message="Timed out waiting for jetty deploy"/>
  20. </target>
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement