diff options
Diffstat (limited to 'test/utils/serve_service/test_runner.py')
-rwxr-xr-x | test/utils/serve_service/test_runner.py | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/test/utils/serve_service/test_runner.py b/test/utils/serve_service/test_runner.py index 01d5c0c8..3b6c4fdc 100755 --- a/test/utils/serve_service/test_runner.py +++ b/test/utils/serve_service/test_runner.py @@ -123,7 +123,15 @@ serve_proc = subprocess.Popen( stderr=servestderr, ) +timeout: int = 30 while not os.path.exists(REMOTE_SERVE_INFO): + if timeout == 0: + result = "FAIL" + stdout = "Failed to start serve service" + serve_proc.terminate() + dump_results() + exit(1) + timeout -= 1 time.sleep(1) with open(REMOTE_SERVE_INFO) as f: |