##// END OF EJS Templates
Putting connection file cleanup back in __del__.
Brian E. Granger -
Show More
@@ -706,6 +706,9 b' class KernelManager(Configurable):'
706 _stdin_channel = Any
706 _stdin_channel = Any
707 _hb_channel = Any
707 _hb_channel = Any
708 _connection_file_written=Bool(False)
708 _connection_file_written=Bool(False)
709
710 def __del__(self):
711 self.cleanup_connection_file()
709
712
710 #--------------------------------------------------------------------------
713 #--------------------------------------------------------------------------
711 # Channel management methods:
714 # Channel management methods:
General Comments 0
You need to be logged in to leave comments. Login now