Show More
@@ -1025,7 +1025,8 b" def list_running_servers(profile='default'):" | |||||
1025 | info = json.load(f) |
|
1025 | info = json.load(f) | |
1026 |
|
1026 | |||
1027 | # Simple check whether that process is really still running |
|
1027 | # Simple check whether that process is really still running | |
1028 | if check_pid(info['pid']): |
|
1028 | # Also remove leftover files from IPython 2.x without a pid field | |
|
1029 | if ('pid' in info) and check_pid(info['pid']): | |||
1029 | yield info |
|
1030 | yield info | |
1030 | else: |
|
1031 | else: | |
1031 | # If the process has died, try to delete its info file |
|
1032 | # If the process has died, try to delete its info file |
General Comments 0
You need to be logged in to leave comments.
Login now