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