Merge pull request #314 from minrk/process-groups

kill process group when killing kernel
jupyter · Dec 15, 2017 · 98a4323 · 98a4323
2 parents 16d8122 + 22092fa
commit 98a4323
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/jupyter_client/manager.py b/jupyter_client/manager.py
@@ -372,7 +372,10 @@ def _kill_kernel(self):
             # Signal the kernel to terminate (sends SIGKILL on Unix and calls
             # TerminateProcess() on Win32).
             try:
-                self.kernel.kill()
+                if hasattr(signal, 'SIGKILL'):
+                    self.signal_kernel(signal.SIGKILL)
+                else:
+                    self.kernel.kill()
             except OSError as e:
                 # In Windows, we will get an Access Denied error if the process
                 # has already terminated. Ignore it.