Merge pull request #1887 from jim22k/remove-old-nbserver-info

Fix bug when attempting to remove old nbserver info files
pull/1891/head
Thomas Kluyver 9 years ago committed by GitHub
commit 2bbaaa5cde

@ -1330,7 +1330,7 @@ def list_running_servers(runtime_dir=None):
else:
# If the process has died, try to delete its info file
try:
os.unlink(file)
os.unlink(os.path.join(runtime_dir, file))
except OSError:
pass # TODO: This should warn or log or something
#-----------------------------------------------------------------------------

Loading…
Cancel
Save