Show More
@@ -835,8 +835,15 b' class KernelManager(HasTraits):' | |||
|
835 | 835 | except OSError, e: |
|
836 | 836 | # In Windows, we will get an Access Denied error if the process |
|
837 | 837 | # has already terminated. Ignore it. |
|
838 |
if |
|
|
839 |
|
|
|
838 | if sys.platform == 'win32': | |
|
839 | if e.winerror != 5: | |
|
840 | raise | |
|
841 | # On Unix, we may get an ESRCH error if the process has already | |
|
842 | # terminated. Ignore it. | |
|
843 | else: | |
|
844 | from errno import ESRCH | |
|
845 | if e.errno != ESRCH: | |
|
846 | raise | |
|
840 | 847 | self.kernel = None |
|
841 | 848 | else: |
|
842 | 849 | raise RuntimeError("Cannot kill kernel. No kernel is running!") |
General Comments 0
You need to be logged in to leave comments.
Login now