hazza/jupyterhub
1
0
Fork 0
mirror of https://github.com/jupyterhub/jupyterhub.git synced 2025-10-12 20:43:02 +00:00
Code Issues Packages Projects Releases Wiki Activity

checkpoint: named server state

Browse Source
This commit is contained in:
Min RK
2017-06-22 14:59:57 +02:00
parent 5263e4ceae
commit 653a39c05e
4 changed files with 12 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
jupyterhub/user.py
View File

@@ -391,7 +391,8 @@ class User(HasTraits):
self.state = spawner.get_state()
self.last_activity = datetime.utcnow()
# remove server entry from db
self.db.delete(spawner.server.orm_server)
if spawner.server is not None:
self.db.delete(spawner.server.orm_server)
spawner.server = None
if not spawner.will_resume:
# find and remove the API token if the spawner isn't