diff options
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: |