RE: Getting the process id of a process started by ANT

2007-03-08 Thread Vladimir Egorov
> In our system we basically have a peer server which all of the other > servers > register with by name. If you want to shut a server down you run a client > which logs on to the peer and then tells the server via the peer to shut > down. Tim, is your system generic so that it can manage any pro

RE: Getting the process id of a process started by ANT

2007-02-27 Thread Tim Gordon
Hello Supriya To my knowledge there is no way of killing a process by ID from Java - it's not available as part of the API. Perhaps Sun have done this deliberately as it's a potential security risk - that would make sense. A cleaner way to kill off a process is to get it to shut itself down