diff options
| author | Timotej Lazar <timotej.lazar@araneo.org> | 2015-08-21 15:12:06 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@araneo.org> | 2015-08-21 15:12:06 +0200 |
| commit | 5ee22607bd5df9c35f2c19a7fe9d69d567c74518 (patch) | |
| tree | ec4e4d09c4ae798e9e7367eed3b1edcf75fa31a8 /prolog | |
| parent | 86737c42e6c7704a44487f2ec936140db2c67d26 (diff) | |
Add a hashbang line to the Prolog server script
Diffstat (limited to 'prolog')
| -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.'). |