summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--server/prolog_session.py3
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()