##// END OF EJS Templates
review fixes
MinRK -
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 reest
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