diff options
Diffstat (limited to 'test/end-to-end/with_serve_test_runner.py')
| -rwxr-xr-x | test/end-to-end/with_serve_test_runner.py | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/test/end-to-end/with_serve_test_runner.py b/test/end-to-end/with_serve_test_runner.py index a71758fd..a7e7861b 100755 --- a/test/end-to-end/with_serve_test_runner.py +++ b/test/end-to-end/with_serve_test_runner.py @@ -253,7 +253,15 @@ serve_proc = subprocess.Popen( stderr=servestderr, ) +timeout: int = 30 while not os.path.exists(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(SERVE_INFO) as f: |