summaryrefslogtreecommitdiff
path: root/test/utils/remote_execution/test_runner.py
diff options
context:
space:
mode:
Diffstat (limited to 'test/utils/remote_execution/test_runner.py')
-rwxr-xr-xtest/utils/remote_execution/test_runner.py10
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: