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/runner | |
| parent | 86737c42e6c7704a44487f2ec936140db2c67d26 (diff) | |
Add a hashbang line to the Prolog server script
Diffstat (limited to 'prolog/runner')
| -rwxr-xr-x[-rw-r--r--] | prolog/runner/main.pl | 3 |
1 files changed, 3 insertions, 0 deletions
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.'). |