summaryrefslogtreecommitdiff
path: root/server/user_session.py
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@araneo.org>2015-09-01 16:13:33 +0200
committerTimotej Lazar <timotej.lazar@araneo.org>2015-09-01 16:13:33 +0200
commit9739e32cc0159f231698e4197a8d025185b28d7f (patch)
tree644c25777721fecc07f54d35ea0aea220dfb0dcd /server/user_session.py
parentcf284202b76c94daa0425ac21e6f36182a375ffc (diff)
Add Python support to wsgi_server.{Hint,Test}
Diffstat (limited to 'server/user_session.py')
-rw-r--r--server/user_session.py2
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!