##// END OF EJS Templates
Shut down kernel correctly when closing tab in Qt console...
Thomas Kluyver -
Show More
@@ -205,7 +205,7 b' class MainWindow(QtGui.QMainWindow):'
205 for slave in slave_tabs:
205 for slave in slave_tabs:
206 background(slave.kernel_client.stop_channels)
206 background(slave.kernel_client.stop_channels)
207 self.tab_widget.removeTab(self.tab_widget.indexOf(slave))
207 self.tab_widget.removeTab(self.tab_widget.indexOf(slave))
208 closing_widget.execute("exit")
208 kernel_manager.shutdown_kernel()
209 self.tab_widget.removeTab(current_tab)
209 self.tab_widget.removeTab(current_tab)
210 background(kernel_client.stop_channels)
210 background(kernel_client.stop_channels)
211 elif reply == 0: # close Console
211 elif reply == 0: # close Console
General Comments 0
You need to be logged in to leave comments. Login now