diff options
| -rw-r--r-- | prolog/engine.py | 2 | ||||
| -rwxr-xr-x[-rw-r--r--] | prolog/runner/main.pl | 3 |
2 files changed, 4 insertions, 1 deletions
diff --git a/prolog/engine.py b/prolog/engine.py index b0dc1aa..ef54833 100644 --- a/prolog/engine.py +++ b/prolog/engine.py @@ -195,7 +195,7 @@ def run(code, query, timeout): if error: messages.append(error) except socket.timeout as ex: - result.append('timeout') + result.append('timed out') abort(engine) finally: if engine: diff --git a/prolog/runner/main.pl b/prolog/runner/main.pl index 19281b1..303cb26 100644..100755 --- a/prolog/runner/main.pl +++ b/prolog/runner/main.pl @@ -1,3 +1,5 @@ +#!/usr/bin/swipl -q -s + % Pengine and HTTP server modules. :- use_module(library(http/http_dispatch)). :- use_module(library(http/http_error)). @@ -23,3 +25,4 @@ prolog:error_message(time_limit_exceeded) --> workers(10), timeout(30), keep_alive_timeout(30)]). +:- writeln('Prolog engine started.'). |