From 33a1aee5c3c3af524cc56056590643af3b127558 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ale=C5=A1=20Smodi=C5=A1?= Date: Wed, 26 Aug 2015 22:55:53 +0200 Subject: Implemented activity service (auto-saving of traces and solutions). --- server/prolog_session.py | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'server/prolog_session.py') diff --git a/server/prolog_session.py b/server/prolog_session.py index 2c2d690..768f820 100644 --- a/server/prolog_session.py +++ b/server/prolog_session.py @@ -37,8 +37,7 @@ class PrologSession(object): No properties are accessible; use getters and setters instead. Values are passed by value instead of by reference (deep copy!). """ - def __init__(self, user_session): - self._user_session = user_session # the owning session + def __init__(self): self._access_lock = threading.Lock() self._engine_id = None self._problem_id = -1 @@ -120,5 +119,7 @@ class PrologSession(object): more_messages, status, have_more = self.query(query) messages.extend(more_messages) self._problem_id = problem_id -# self._user_session.update_solution(problem_id, [], program) # TODO return messages, status, have_more + + def get_problem_id(self): + return self._problem_id -- cgit v1.2.1