Re: [jetty-users] setting PID with embedded jetty

[Thomas Becker <tbecker@xxxxxxxxxxx>]

The operating system will assign a PID to the jetty process as with 
every other process.

Use "ps -ef" to determine the PID and then call "kill <pid>".

On Thu Apr 12 16:14:21 2012, S Ahmed wrote:
> when using embedded jetty, you start the process using;
>
> java -jar ....
>
> Is it possible to set a PID so you can kill the process?
>
>
> _______________________________________________
> jetty-users mailing list
> jetty-users@xxxxxxxxxxx
> https://dev.eclipse.org/mailman/listinfo/jetty-users

--
thomas becker
tbecker@xxxxxxxxxxx

http://webtide.com / http://intalio.com
(the folks behind jetty and cometd)