Show More
@@ -541,6 +541,20 b' class FrontendWidget(HistoryConsoleWidget, BaseFrontendMixin):' | |||
|
541 | 541 | if reply == QtGui.QMessageBox.Yes: |
|
542 | 542 | self.exit_requested.emit(self) |
|
543 | 543 | |
|
544 | def _handle_status(self, msg): | |
|
545 | """Handle status message""" | |
|
546 | # This is where a busy/idle indicator would be triggered, | |
|
547 | # when we make one. | |
|
548 | state = msg['content'].get('execution_state', '') | |
|
549 | if state == 'starting': | |
|
550 | # kernel started while we were running | |
|
551 | if self._executing: | |
|
552 | self._handle_kernel_restarted(died=True) | |
|
553 | elif state == 'idle': | |
|
554 | pass | |
|
555 | elif state == 'busy': | |
|
556 | pass | |
|
557 | ||
|
544 | 558 | def _started_channels(self): |
|
545 | 559 | """ Called when the KernelManager channels have started listening or |
|
546 | 560 | when the frontend is assigned an already listening KernelManager. |
General Comments 0
You need to be logged in to leave comments.
Login now