##// 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 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.shutdown_kernel()
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