mirror of
https://github.com/jupyterhub/jupyterhub.git
synced 2025-10-12 04:23:01 +00:00
jupyterhub/user: remuve extraneous = {}
- Thanks to review from @minrk
This commit is contained in:
@@ -795,7 +795,6 @@ class User:
|
|||||||
status = await spawner.poll()
|
status = await spawner.poll()
|
||||||
if status is None:
|
if status is None:
|
||||||
await spawner.stop()
|
await spawner.stop()
|
||||||
spawner.orm_spawner.state = {}
|
|
||||||
self.last_activity = spawner.orm_spawner.last_activity = datetime.utcnow()
|
self.last_activity = spawner.orm_spawner.last_activity = datetime.utcnow()
|
||||||
# remove server entry from db
|
# remove server entry from db
|
||||||
spawner.server = None
|
spawner.server = None
|
||||||
|
Reference in New Issue
Block a user