How to stop Jetty

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

How to stop Jetty

machek2
Somehow I am not able to find a way how to stop Jetty, launched from ant script.
I tried start.jar, but it doesn't work in this case.            

<java jar="${jetty.home}/start.jar" fork="true" dir="${jetty.home}">
<jvmarg value="-Dfile.encoding=UTF-8"/>
<jvmarg value="-DSTOP.PORT=8079"/>
<jvmarg value="-DSTOP.KEY=secret"/>


http://docs.codehaus.org/display/JETTY/Ant+Jetty+Plugin