diff options
author | Timotej Lazar <timotej.lazar@araneo.org> | 2015-08-28 19:32:18 +0200 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@araneo.org> | 2015-08-28 19:32:18 +0200 |
commit | 2573a5e1e8dbd61ed0ea2fd6432bdeb8d65948b5 (patch) | |
tree | 9b52825ead90023b5af04dfdbbddc3833e6a9b59 | |
parent | fd27a749fa48a9f611850c1e598b3f8e3d379439 (diff) |
Change timeout result in python runner
-rwxr-xr-x | python/runner/main.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/python/runner/main.py b/python/runner/main.py index 2b1ba15..b9233cd 100755 --- a/python/runner/main.py +++ b/python/runner/main.py @@ -56,7 +56,7 @@ def run(code, inputs, timeout): if conn.poll(real_timeout): results.append(conn.recv()) else: - results.append((None, '', '', 'timed out')) + results.append('timed out') p.terminate() return results |