summaryrefslogtreecommitdiff
path: root/test/end-to-end/with_remote_test_runner.py
diff options
context:
space:
mode:
Diffstat (limited to 'test/end-to-end/with_remote_test_runner.py')
-rwxr-xr-xtest/end-to-end/with_remote_test_runner.py10
1 files changed, 9 insertions, 1 deletions
diff --git a/test/end-to-end/with_remote_test_runner.py b/test/end-to-end/with_remote_test_runner.py
index 31601272..079f627b 100755
--- a/test/end-to-end/with_remote_test_runner.py
+++ b/test/end-to-end/with_remote_test_runner.py
@@ -74,7 +74,7 @@ if not custom_remote:
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')
@@ -104,7 +104,15 @@ if not custom_remote:
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: