mp_pool_kill marks PIDs as unused

1 files changed, 2 insertions, 0 deletions

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;
                 }
             }
         }