diff options
| -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 |