##// END OF EJS Templates
Handle nbserver info files without pid, from IPython 2.x...
Thomas Kluyver -
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