diff options
Diffstat (limited to 'server/user_session.py')
| -rw-r--r-- | server/user_session.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/server/user_session.py b/server/user_session.py index 60289dc..f21102c 100644 --- a/server/user_session.py +++ b/server/user_session.py @@ -133,6 +133,9 @@ class UserSession(object): if hasattr(self, 'prolog_session') and (self.prolog_session is not None): self.prolog_session.end() self.prolog_session = None + if hasattr(self, 'python_session') and (self.python_session is not None): + self.python_session.destroy() + self.python_session = None # TODO: add any cleanups as features are added! def get_session_by_id(sid): |