summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@araneo.org>2015-08-21 15:12:06 +0200
committerTimotej Lazar <timotej.lazar@araneo.org>2015-08-21 15:12:06 +0200
commit5ee22607bd5df9c35f2c19a7fe9d69d567c74518 (patch)
treeec4e4d09c4ae798e9e7367eed3b1edcf75fa31a8
parent86737c42e6c7704a44487f2ec936140db2c67d26 (diff)
Add a hashbang line to the Prolog server script
-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.').