From 84ddfc718cc74ef98b385e9c69670dc79cb95a96 Mon Sep 17 00:00:00 2001
From: Jean-Marie Mineau <jean-marie.mineau@inria.fr>
Date: Thu, 22 May 2025 09:51:26 +0200
Subject: [PATCH] try to relauch failed worker

---
 experiment/orchestrator.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/experiment/orchestrator.py b/experiment/orchestrator.py
index 8c286ad..f18623a 100644
--- a/experiment/orchestrator.py
+++ b/experiment/orchestrator.py
@@ -357,7 +357,8 @@ def worker(emu: str, apklist: queue.Queue[str], out_folder: Path, script: Path):
             fp.write("\n".join(traceback.format_exception(e)))
         if not marked_done:
             apklist.task_done()
-        raise e
+        if not apklist.empty():
+            worker(emu, apklist, out_folder, script)
 
 
 def run(apklist: list[str], out_folder: Path, script: Path):