From 5ee22607bd5df9c35f2c19a7fe9d69d567c74518 Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@araneo.org>
Date: Fri, 21 Aug 2015 15:12:06 +0200
Subject: Add a hashbang line to the Prolog server script

---
 prolog/engine.py      | 2 +-
 prolog/runner/main.pl | 3 +++
 2 files changed, 4 insertions(+), 1 deletion(-)
 mode change 100644 => 100755 prolog/runner/main.pl

(limited to 'prolog')

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
old mode 100644
new mode 100755
index 19281b1..303cb26
--- 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.').
-- 
cgit v1.2.1