refresh session of spawner server

2025-10-17 06:52:59 +00:00 · 2017-07-17 11:05:25 +02:00
parent aee3c74681
commit 9eef5d7b1e
1 changed files with 4 additions and 0 deletions
--- a/jupyterhub/user.py
+++ b/jupyterhub/user.py
@@ -107,6 +107,10 @@ class User(HasTraits):
            self.orm_user = db.query(orm.User).filter(orm.User.id == self._user_id).first()
        for spawner in self.spawners.values():
            spawner.db = db
+            if (spawner.server):
+                orm_server = spawner.server.orm_server
+                inspect(orm_server).session.expunge(orm_server)
+                db.add(orm_server)

    _user_id = None
    orm_user = Any(allow_none=True)