◐ Shell
clean mode source ↗

Message 135025 - Python tracker

Under what circumstances do we expect a ProcessPoolExecutor child process to be killed outside of the control of the ProcessPoolExecutor?

If the user kills a child then maybe all we want to do is raise an exception rather than deadlock as a convenience.