diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-03-16 14:22:26 +0100 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-03-16 14:22:26 +0100 |
| commit | 7267e65d4257402000e6b163291028e191907580 (patch) | |
| tree | dbbfefb7123833d390048d8af82a84b065c037fb | |
| parent | 4f626b88af126ef0749c3f7a0ee89dab16cde30d (diff) | |
PrologSession: remove unused attribute
| -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() |