diff options
Diffstat (limited to 'test/utils/remote_execution/test_runner.py')
-rwxr-xr-x | test/utils/remote_execution/test_runner.py | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/test/utils/remote_execution/test_runner.py b/test/utils/remote_execution/test_runner.py index 8c22c99e..fb3e50ab 100755 --- a/test/utils/remote_execution/test_runner.py +++ b/test/utils/remote_execution/test_runner.py @@ -56,7 +56,7 @@ if os.path.exists(REMOTE_INFO): print(f"Warning: removing unexpected info file {REMOTE_INFO}") os.remove(REMOTE_INFO) -PATH=subprocess.run( +PATH = subprocess.run( ["env", "--", "sh", "-c", "echo -n $PATH"], stdout=subprocess.PIPE, ).stdout.decode('utf-8') @@ -89,7 +89,15 @@ remote_proc = subprocess.Popen( stderr=remotestderr, ) +timeout: int = 30 while not os.path.exists(REMOTE_INFO): + if timeout == 0: + result = "FAIL" + stdout = "Failed to start execution service" + remote_proc.terminate() + dump_results() + exit(1) + timeout -= 1 time.sleep(1) with open(REMOTE_INFO) as f: |