diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-25 17:21:10 +0100 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-25 17:21:10 +0100 |
| commit | 705be7b3ad45212629d6c60476afd3e2a405e52b (patch) | |
| tree | 5a1f2a0b06728c257da7aa30051efec98be50aee /server | |
| parent | b0033953c1f7677a30471692d93d2e669b0aeecc (diff) | |
Destroy the pengine before creating a new one
Diffstat (limited to 'server')
| -rw-r--r-- | server/prolog_session.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/server/prolog_session.py b/server/prolog_session.py index c5fc2be..2920f11 100644 --- a/server/prolog_session.py +++ b/server/prolog_session.py @@ -68,7 +68,7 @@ class PrologSession(server.LanguageSession): def run(self, code): with self._access_lock: if self._engine_id is not None: - prolog.engine.stop(self._engine_id) + prolog.engine.destroy(self._engine_id) self._engine_id = None engine_id, output = prolog.engine.create(code=code) if not engine_id: |