Show More
@@ -707,6 +707,9 b' class KernelManager(Configurable):' | |||||
707 | _hb_channel = Any |
|
707 | _hb_channel = Any | |
708 | _connection_file_written=Bool(False) |
|
708 | _connection_file_written=Bool(False) | |
709 |
|
709 | |||
|
710 | def __del__(self): | |||
|
711 | self.cleanup_connection_file() | |||
|
712 | ||||
710 | #-------------------------------------------------------------------------- |
|
713 | #-------------------------------------------------------------------------- | |
711 | # Channel management methods: |
|
714 | # Channel management methods: | |
712 | #-------------------------------------------------------------------------- |
|
715 | #-------------------------------------------------------------------------- |
General Comments 0
You need to be logged in to leave comments.
Login now