Okay, I understand what's happening, just need to give the fix a bit of
thought.  Skipping over the boring details, we are not handling the main
thread in child_main() correctly. When workers_may_exit is set, the child
worker threads are cleaned up, but the child_main() thread returns to
make_child() where it does nasty stuff!

Bill

Reply via email to