From 2573a5e1e8dbd61ed0ea2fd6432bdeb8d65948b5 Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Fri, 28 Aug 2015 19:32:18 +0200 Subject: Change timeout result in python runner --- python/runner/main.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'python/runner') 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 -- cgit v1.2.1