##// END OF EJS Templates
add missing kernel_manager in mainwindow.close_tab
MinRK -
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