summaryrefslogtreecommitdiff
path: root/server/prolog_session.py
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-03-16 14:22:26 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-03-16 14:22:26 +0100
commit7267e65d4257402000e6b163291028e191907580 (patch)
treedbbfefb7123833d390048d8af82a84b065c037fb /server/prolog_session.py
parent4f626b88af126ef0749c3f7a0ee89dab16cde30d (diff)
PrologSession: remove unused attribute
Diffstat (limited to 'server/prolog_session.py')
-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()