hazza/jupyterhub
1
0
Fork 0
mirror of https://github.com/jupyterhub/jupyterhub.git synced 2025-10-18 07:23:00 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #2849 from gabber12/fix-ready

Browse Source 
Cleanup if spawner stop fails
This commit is contained in:
Min RK
2019-12-18 09:06:18 +01:00
committed by GitHub
parent 2e40da09ea 5a747baeca
commit d9955a052d
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
jupyterhub/user.py
View File

@@ -770,6 +770,7 @@ class User:
self.log.debug("Finished stopping %s", spawner._log_name) self.log.debug("Finished stopping %s", spawner._log_name)
RUNNING_SERVERS.dec() RUNNING_SERVERS.dec()
finally: finally:
spawner.server = None
spawner.orm_spawner.started = None spawner.orm_spawner.started = None
self.db.commit() self.db.commit()
# trigger post-stop hook # trigger post-stop hook