From 4d8a39c6d54d0e4472e0a7972b70021725744afb Mon Sep 17 00:00:00 2001 From: amitir22 Date: Mon, 9 May 2022 18:59:23 +0300 Subject: [PATCH] added timeout functionality --- local_server.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/local_server.py b/local_server.py index 9d314c4..e600a46 100644 --- a/local_server.py +++ b/local_server.py @@ -809,6 +809,7 @@ class SimpleHTTPRequestHandler(BaseHTTPRequestHandler): """ server_version = "SimpleHTTP/" + __version__ + default_timeout = '10s' def __init__(self, *args, directory=None, **kwargs): if directory is None: @@ -1087,7 +1088,7 @@ def run_tests_for_zip(self, zip_file_path, hw_num): # try: result += subprocess.check_output( - f'./herd_checker_run.sh {exec_path} {tmpdirname} {hw_num} 2>&1', shell=True).decode() + f'timeout {self.default_timeout} ./herd_checker_run.sh {exec_path} {tmpdirname} {hw_num} 2>&1', shell=True).decode() except subprocess.CalledProcessError as e: return (False, e.output.decode())