From 705be7b3ad45212629d6c60476afd3e2a405e52b Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Thu, 25 Feb 2016 17:21:10 +0100 Subject: Destroy the pengine before creating a new one --- server/prolog_session.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'server') 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: -- cgit v1.2.1