diff options
Diffstat (limited to 'server/user_session.py')
-rw-r--r-- | server/user_session.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/server/user_session.py b/server/user_session.py index 8b76e0a..920e195 100644 --- a/server/user_session.py +++ b/server/user_session.py @@ -42,7 +42,7 @@ class UserSession(object): self.prolog_session.end() self.prolog_session = None if self.python_session is not None: - self.python_session.end() + self.python_session.destroy() self.python_session = None # TODO: add any cleanups as features are added! |