diff --git a/IPython/zmq/kernelmanager.py b/IPython/zmq/kernelmanager.py index 5e950bc..94438e5 100644 --- a/IPython/zmq/kernelmanager.py +++ b/IPython/zmq/kernelmanager.py @@ -706,6 +706,9 @@ class KernelManager(Configurable): _stdin_channel = Any _hb_channel = Any _connection_file_written=Bool(False) + + def __del__(self): + self.cleanup_connection_file() #-------------------------------------------------------------------------- # Channel management methods: