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

fix docstrings

Browse Source
This commit is contained in:
Christian Barra
2017-01-11 12:27:30 +01:00
parent 11196443ac
commit d28036e173
3 changed files with 13 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
jupyterhub/user.py
View File

@@ -315,9 +315,9 @@ class User(HasTraits):
spawner.clear_state()
self.state = spawner.get_state()
self.last_activity = datetime.utcnow()
# cleanup server entry, API token from defunct server
# Cleanup defunct servers: delete entry and API token for each server
for server in self.servers:
# cleanup servers entry from db
# remove server entry from db
self.db.delete(server)
if not spawner.will_resume:
# find and remove the API token if the spawner isn't