diff options
| author | Timotej Lazar <timotej.lazar@araneo.org> | 2015-09-03 17:07:27 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@araneo.org> | 2015-09-03 17:07:27 +0200 |
| commit | 401bef2dcb434c23eb783131fb36d952043b9f31 (patch) | |
| tree | 589a317e0c4d71318bb6b1f37ef465a4296973f5 /server/user_session.py | |
| parent | 3a17e047b53760c787c050432372170e745a318e (diff) | |
Use multiprocessing.managers for the Python runner
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): |