diff options
| -rw-r--r-- | executor/subprocess.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/executor/subprocess.h b/executor/subprocess.h index 2553422a9..5e638c1f5 100644 --- a/executor/subprocess.h +++ b/executor/subprocess.h @@ -76,7 +76,6 @@ public: { if (!pid_) fail("subprocess hasn't started or already waited"); - kill(-pid_, SIGKILL); kill(pid_, SIGKILL); int pid = 0; int wstatus = 0; |
