From d67005e345129bfb778f561d787437bc235f08ac Mon Sep 17 00:00:00 2001
From: Yasunari Watanabe <yasunari.watanabe@ahrefs.com>
Date: Thu, 23 May 2024 18:37:04 +0800
Subject: [PATCH] parallel: exit parent when no workers left, even if revive

---
 parallel.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/parallel.ml b/parallel.ml
index 1651f9b..7cb8574 100644
--- a/parallel.ml
+++ b/parallel.ml
@@ -263,7 +263,7 @@ let run_forks_simple ?(revive=false) ?wait_stop f args =
   let rec loop pause =
     Nix.sleep pause;
     let total = Hashtbl.length workers in
-    if total = 0 && not revive then
+    if total = 0 then
       log #info "All workers dead, stopping"
     else
     match Daemon.should_exit () with