Backport PR #314: kill process group when killing kernel

jupyter · Dec 15, 2017 · b8d617e · b8d617e
1 parent dfa190d
commit b8d617e
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/jupyter_client/manager.py b/jupyter_client/manager.py
@@ -380,7 +380,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.