Show More
@@ -177,6 +177,7 b' class MainWindow(QtGui.QMainWindow):' | |||||
177 | return |
|
177 | return | |
178 |
|
178 | |||
179 | kernel_client = closing_widget.kernel_client |
|
179 | kernel_client = closing_widget.kernel_client | |
|
180 | kernel_manager = closing_widget.kernel_manager | |||
180 |
|
181 | |||
181 | if keepkernel is None and not closing_widget._confirm_exit: |
|
182 | if keepkernel is None and not closing_widget._confirm_exit: | |
182 | # don't prompt, just terminate the kernel if we own it |
|
183 | # don't prompt, just terminate the kernel if we own it | |
@@ -238,6 +239,7 b' class MainWindow(QtGui.QMainWindow):' | |||||
238 | for slave in slave_tabs: |
|
239 | for slave in slave_tabs: | |
239 | background(slave.kernel_client.stop_channels) |
|
240 | background(slave.kernel_client.stop_channels) | |
240 | self.tab_widget.removeTab(self.tab_widget.indexOf(slave)) |
|
241 | self.tab_widget.removeTab(self.tab_widget.indexOf(slave)) | |
|
242 | if kernel_manager: | |||
241 | kernel_manager.shutdown_kernel() |
|
243 | kernel_manager.shutdown_kernel() | |
242 | background(kernel_client.stop_channels) |
|
244 | background(kernel_client.stop_channels) | |
243 |
|
245 |
General Comments 0
You need to be logged in to leave comments.
Login now