Two reasons:1. I'm trying to use this as a part of a script and I have no way of knowing the PID ahead of time.
2. I wasn't sure if there were any other processes or cleanup that the "server stop" executes that don't happen when you kill the process.
- Dave rudholm wrote:
Is there any reason you don't want to just kill the process?
_______________________________________________ Discuss mailing list [email protected] http://lists.slimdevices.com/lists/listinfo/discuss
