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/engine.py | |
| parent | 86737c42e6c7704a44487f2ec936140db2c67d26 (diff) | |
Add a hashbang line to the Prolog server script
Diffstat (limited to 'prolog/engine.py')
| -rw-r--r-- | prolog/engine.py | 2 |
1 files changed, 1 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: |