Show More
@@ -857,13 +857,8 b' class KernelManager(Configurable):' | |||||
857 | if self.has_kernel: |
|
857 | if self.has_kernel: | |
858 | self.kill_kernel() |
|
858 | self.kill_kernel() | |
859 |
|
859 | |||
860 | if not restart and self._connection_file_written: |
|
860 | if not restart: | |
861 | # cleanup connection files on full shutdown of kernel we started |
|
861 | self.cleanup_connection_file() | |
862 | self._connection_file_written = False |
|
|||
863 | try: |
|
|||
864 | os.remove(self.connection_file) |
|
|||
865 | except IOError: |
|
|||
866 | pass |
|
|||
867 |
|
862 | |||
868 | def restart_kernel(self, now=False, **kw): |
|
863 | def restart_kernel(self, now=False, **kw): | |
869 | """Restarts a kernel with the arguments that were used to launch it. |
|
864 | """Restarts a kernel with the arguments that were used to launch it. |
General Comments 0
You need to be logged in to leave comments.
Login now