##// END OF EJS Templates
Merge pull request #3491 from takluyver/notebook-kernel-died...
Min RK -
r11075:3dc04f8e merge
parent child Browse files
Show More
@@ -68,7 +68,7 b' class MappingKernelManager(MultiKernelManager):'
68 """notice that a kernel died"""
68 """notice that a kernel died"""
69 self.log.warn("Kernel %s died, removing from map.", kernel_id)
69 self.log.warn("Kernel %s died, removing from map.", kernel_id)
70 self.delete_mapping_for_kernel(kernel_id)
70 self.delete_mapping_for_kernel(kernel_id)
71 self.remove_kernel(kernel_id, now=True)
71 self.remove_kernel(kernel_id)
72
72
73 def start_kernel(self, notebook_id=None, **kwargs):
73 def start_kernel(self, notebook_id=None, **kwargs):
74 """Start a kernel for a notebook an return its kernel_id.
74 """Start a kernel for a notebook an return its kernel_id.
General Comments 0
You need to be logged in to leave comments. Login now