commit 08d66e39267527671e07423fb3cef4305aafa207
parent 0b659807bf6c05b212fa82d72fa4a9593506dd7a
Author: Joris Vink <joris@coders.se>
Date: Mon, 10 Aug 2020 09:33:34 +0200
set a worker its running flag to 0 if it dies.
Diffstat:
src/worker.c | 2 ++
1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/src/worker.c b/src/worker.c
@@ -686,6 +686,8 @@ worker_reaper(pid_t pid, int status)
kw->id, pid, status);
}
+ kw->running = 0;
+
if (WIFEXITED(status) && WEXITSTATUS(status) == 0) {
kw->pid = 0;
break;