diff options
Diffstat (limited to 'distbuild')
-rw-r--r-- | distbuild/subprocess_eventsrc.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/distbuild/subprocess_eventsrc.py b/distbuild/subprocess_eventsrc.py index 52121502..e025161e 100644 --- a/distbuild/subprocess_eventsrc.py +++ b/distbuild/subprocess_eventsrc.py @@ -16,6 +16,8 @@ import logging +import os +import signal import distbuild @@ -92,8 +94,8 @@ class SubprocessEventSource(distbuild.EventSource): logging.debug('SES: Killing all processes for %s', request_id) for id, process in self.procs: if id == request_id: - logging.debug('SES: killing %s', repr(process)) - process.kill() + logging.debug('SES: killing process group of %r', process) + os.killpg(process.pid, signal.SIGKILL) def close(self): self.procs = [] |