summaryrefslogtreecommitdiff
path: root/prolog
diff options
context:
space:
mode:
Diffstat (limited to 'prolog')
-rw-r--r--prolog/engine.py2
-rwxr-xr-x[-rw-r--r--]prolog/runner/main.pl3
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.').