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 6e86ac39db
commit f1b0d995a8

View File

@ -149,8 +149,10 @@ public class Runtime {
}
public void destroy() {
if (pid != 0) {
kill(pid);
}
}
public InputStream getInputStream() {
return new FileInputStream(new FileDescriptor(in));