mirror of
https://github.com/jupyterhub/jupyterhub.git
synced 2025-10-16 14:33:00 +00:00
Cleanup if spawner stop fails
This commit is contained in:
@@ -770,6 +770,7 @@ class User:
|
||||
self.log.debug("Finished stopping %s", spawner._log_name)
|
||||
RUNNING_SERVERS.dec()
|
||||
finally:
|
||||
spawner.server = None
|
||||
spawner.orm_spawner.started = None
|
||||
self.db.commit()
|
||||
# trigger post-stop hook
|
||||
|
Reference in New Issue
Block a user