##// END OF EJS Templates
Fixing bug in connection file cleanup....
Brian E. Granger -
Show More
@@ -857,13 +857,8 b' class KernelManager(Configurable):'
857 if self.has_kernel:
857 if self.has_kernel:
858 self.kill_kernel()
858 self.kill_kernel()
859
859
860 if not restart and self._connection_file_written:
860 if not restart:
861 # cleanup connection files on full shutdown of kernel we started
861 self.cleanup_connection_file()
862 self._connection_file_written = False
863 try:
864 os.remove(self.connection_file)
865 except IOError:
866 pass
867
862
868 def restart_kernel(self, now=False, **kw):
863 def restart_kernel(self, now=False, **kw):
869 """Restarts a kernel with the arguments that were used to launch it.
864 """Restarts a kernel with the arguments that were used to launch it.
General Comments 0
You need to be logged in to leave comments. Login now