From 0ec7d6b5ce3f91eee3396856e1e2e7479b70e536 2013-01-18 05:58:35 From: Brian E. Granger Date: 2013-01-18 05:58:35 Subject: [PATCH] Putting connection file cleanup back in __del__. --- 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: