mirror/notebook
2
0
Fork 0
mirror of https://github.com/jupyter/notebook.git synced 2024-12-21 04:10:17 +08:00
Code Issues Packages Projects Releases Wiki Activity

Actually kill old kernels upon restart.

Browse Source
This commit is contained in:
Brian E. Granger 2011-07-15 11:05:48 -07:00
parent ed3a348817
commit 861a481f29
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
IPython/frontend/html/notebook/notebookapp.py
View File

@ -142,7 +142,8 @@ class NotebookWebApplication(web.Application):
# TODO: This causes a hard crash in ZMQStream.close, which sets
# self.socket to None to hastily. We will need to fix this in PyZMQ
# itself. For now, we just leave the old kernel running :(
# self.kill_kernel(kernel_id)
# Maybe this is fixed now, but nothing was changed really.
self.kill_kernel(kernel_id)
self.log.debug("Kernel restarted: %s -> %s" % (kernel_id, new_kernel_id))
return new_kernel_id