summaryrefslogtreecommitdiff
path: root/server
diff options
context:
space:
mode:
Diffstat (limited to 'server')
-rw-r--r--server/prolog_session.py2
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: