mirror of
https://github.com/jupyterhub/jupyterhub.git
synced 2025-10-12 12:33:02 +00:00
fixed running_servers count
This commit is contained in:
@@ -21,6 +21,7 @@ from .crypto import decrypt
|
||||
from .crypto import encrypt
|
||||
from .crypto import EncryptionUnavailable
|
||||
from .crypto import InvalidToken
|
||||
from .metrics import RUNNING_SERVERS
|
||||
from .metrics import TOTAL_USERS
|
||||
from .objects import Server
|
||||
from .spawner import LocalProcessSpawner
|
||||
@@ -753,6 +754,7 @@ class User:
|
||||
self.db.delete(oauth_client)
|
||||
self.db.commit()
|
||||
self.log.debug("Finished stopping %s", spawner._log_name)
|
||||
RUNNING_SERVERS.dec()
|
||||
finally:
|
||||
spawner.orm_spawner.started = None
|
||||
self.db.commit()
|
||||
|
Reference in New Issue
Block a user