From 7267e65d4257402000e6b163291028e191907580 Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Wed, 16 Mar 2016 14:22:26 +0100 Subject: PrologSession: remove unused attribute --- server/prolog_session.py | 3 --- 1 file changed, 3 deletions(-) diff --git a/server/prolog_session.py b/server/prolog_session.py index 3491a1c..f6a011c 100644 --- a/server/prolog_session.py +++ b/server/prolog_session.py @@ -62,7 +62,6 @@ class PrologSession(server.LanguageSession): def __init__(self): self._access_lock = threading.Lock() self._engine_id = None - self._problem_id = -1 self._sent_hints = [] def run(self, code): @@ -102,7 +101,6 @@ class PrologSession(server.LanguageSession): if self._engine_id is not None: prolog.engine.destroy(self._engine_id) self._engine_id = None - self._problem_id = -1 return [], 'ok', False def __del__(self): @@ -200,7 +198,6 @@ class PrologSession(server.LanguageSession): if status == 'ok': more_messages, status, have_more = self.query(query) messages.extend(more_messages) - self._problem_id = problem_id return messages, status, have_more server.language_session_handlers['prolog'] = lambda user_session, problem_id, language_identifier, group_identifier, problem_identifier: PrologSession() -- cgit v1.2.1