Show More
@@ -370,7 +370,7 b' class FrontendWidget(HistoryConsoleWidget, BaseFrontendMixin):' | |||||
370 | sys.exit(0) |
|
370 | sys.exit(0) | |
371 | else: |
|
371 | else: | |
372 | # we just got notified of a restart! |
|
372 | # we just got notified of a restart! | |
373 |
time.sleep(0.25) # wait 1/4 sec to re |
|
373 | time.sleep(0.25) # wait 1/4 sec to reset | |
374 | # lest the request for a new prompt |
|
374 | # lest the request for a new prompt | |
375 | # goes to the old kernel |
|
375 | # goes to the old kernel | |
376 | self.reset() |
|
376 | self.reset() |
@@ -33,6 +33,8 b' class MainWindow(QtGui.QMainWindow):' | |||||
33 |
|
33 | |||
34 | def __init__(self, frontend, existing=False): |
|
34 | def __init__(self, frontend, existing=False): | |
35 | """ Create a MainWindow for the specified FrontendWidget. |
|
35 | """ Create a MainWindow for the specified FrontendWidget. | |
|
36 | ||||
|
37 | If existing is True, then this Window does not own the Kernel. | |||
36 | """ |
|
38 | """ | |
37 | super(MainWindow, self).__init__() |
|
39 | super(MainWindow, self).__init__() | |
38 | self._frontend = frontend |
|
40 | self._frontend = frontend |
@@ -663,11 +663,13 b' be sent, so the content dict is empty.' | |||||
663 | Message type: ``shutdown_request``:: |
|
663 | Message type: ``shutdown_request``:: | |
664 |
|
664 | |||
665 | content = { |
|
665 | content = { | |
|
666 | 'restart' : bool # whether the shutdown is final, or precedes a restart | |||
666 | } |
|
667 | } | |
667 |
|
668 | |||
668 | Message type: ``shutdown_reply``:: |
|
669 | Message type: ``shutdown_reply``:: | |
669 |
|
670 | |||
670 | content = { |
|
671 | content = { | |
|
672 | 'restart' : bool # whether the shutdown is final, or precedes a restart | |||
671 | } |
|
673 | } | |
672 |
|
674 | |||
673 | .. Note:: |
|
675 | .. Note:: |
General Comments 0
You need to be logged in to leave comments.
Login now