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