Show More
@@ -487,6 +487,7 class IOPubHandler(AuthenticatedZMQStreamHandler): | |||||
487 |
|
487 | |||
488 | def kernel_died(self): |
|
488 | def kernel_died(self): | |
489 | self.application.kernel_manager.delete_mapping_for_kernel(self.kernel_id) |
|
489 | self.application.kernel_manager.delete_mapping_for_kernel(self.kernel_id) | |
|
490 | self.application.log.error("Kernel %s failed to respond to heartbeat", self.kernel_id) | |||
490 | self.write_message( |
|
491 | self.write_message( | |
491 | {'header': {'msg_type': 'status'}, |
|
492 | {'header': {'msg_type': 'status'}, | |
492 | 'parent_header': {}, |
|
493 | 'parent_header': {}, |
General Comments 0
You need to be logged in to leave comments.
Login now