Show More
@@ -540,9 +540,13 b' class IOPubHandler(AuthenticatedZMQStreamHandler):' | |||||
540 | if not self.hb_stream.closed(): |
|
540 | if not self.hb_stream.closed(): | |
541 | self.hb_stream.on_recv(None) |
|
541 | self.hb_stream.on_recv(None) | |
542 |
|
542 | |||
543 |
def kernel_d |
|
543 | def _delete_kernel_data(self): | |
|
544 | """Remove the kernel data and notebook mapping.""" | |||
544 | self.application.kernel_manager.delete_mapping_for_kernel(self.kernel_id) |
|
545 | self.application.kernel_manager.delete_mapping_for_kernel(self.kernel_id) | |
545 | self.application.log.error("Kernel %s failed to respond to heartbeat", self.kernel_id) |
|
546 | ||
|
547 | def kernel_died(self): | |||
|
548 | self._delete_kernel_data() | |||
|
549 | self.application.log.error("Kernel died: %s" % self.kernel_id) | |||
546 | self.write_message( |
|
550 | self.write_message( | |
547 | {'header': {'msg_type': 'status'}, |
|
551 | {'header': {'msg_type': 'status'}, | |
548 | 'parent_header': {}, |
|
552 | 'parent_header': {}, |
General Comments 0
You need to be logged in to leave comments.
Login now