From 528b3b271ce13a5094d00f98e9b204ee0e24e795 Mon Sep 17 00:00:00 2001 From: Joseph Hunkeler Date: Wed, 18 Sep 2024 10:12:06 -0400 Subject: mp_pool_kill marks PIDs as unused --- src/multiprocessing.c | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src') diff --git a/src/multiprocessing.c b/src/multiprocessing.c index c784073..5478ca5 100644 --- a/src/multiprocessing.c +++ b/src/multiprocessing.c @@ -233,6 +233,8 @@ int mp_pool_kill(struct MultiProcessingPool *pool, int signum) { perror("clock_gettime"); exit(1); } + // We are short-circuiting the normal flow, and the process is now dead, so mark it as such + slot->pid = MP_POOL_PID_UNUSED; } } } -- cgit