Show More
@@ -370,7 +370,7 b' class FrontendWidget(HistoryConsoleWidget, BaseFrontendMixin):' | |||
|
370 | 370 | sys.exit(0) |
|
371 | 371 | else: |
|
372 | 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 | 374 | # lest the request for a new prompt |
|
375 | 375 | # goes to the old kernel |
|
376 | 376 | self.reset() |
@@ -33,6 +33,8 b' class MainWindow(QtGui.QMainWindow):' | |||
|
33 | 33 | |
|
34 | 34 | def __init__(self, frontend, existing=False): |
|
35 | 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 | 39 | super(MainWindow, self).__init__() |
|
38 | 40 | self._frontend = frontend |
@@ -663,11 +663,13 b' be sent, so the content dict is empty.' | |||
|
663 | 663 | Message type: ``shutdown_request``:: |
|
664 | 664 | |
|
665 | 665 | content = { |
|
666 | 'restart' : bool # whether the shutdown is final, or precedes a restart | |
|
666 | 667 | } |
|
667 | 668 | |
|
668 | 669 | Message type: ``shutdown_reply``:: |
|
669 | 670 | |
|
670 | 671 | content = { |
|
672 | 'restart' : bool # whether the shutdown is final, or precedes a restart | |
|
671 | 673 | } |
|
672 | 674 | |
|
673 | 675 | .. Note:: |
General Comments 0
You need to be logged in to leave comments.
Login now