diff options
Diffstat (limited to 'server')
| -rw-r--r-- | server/prolog_session.py | 3 |
1 files changed, 0 insertions, 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() |