Fixed bug where calling Process.destroy() on a PID that no longer exist kills all processes in Pgroup.

This commit is contained in:
Ben Limmer 2011-11-09 13:18:04 -07:00
parent 216b9a05ea
commit 89cdd9d0d2

View File

@ -149,7 +149,9 @@ public class Runtime {
}
public void destroy() {
kill(pid);
if (pid != 0) {
kill(pid);
}
}
public InputStream getInputStream() {