Message135026
> Under what circumstances do we expect a ProcessPoolExecutor child
> process to be killed outside of the control of the
> ProcessPoolExecutor?
Killed by the user, or by an automatic device (such as the Linux OOM
killer), or crashed.
> If the user kills a child then maybe all we want to do is raise an
> exception rather than deadlock as a convenience.
That's what the patch does, roughly. |
|
Date |
User |
Action |
Args |
2011-05-03 11:15:36 | pitrou | set | recipients:
+ pitrou, bquinlan, vstinner, jnoller, hongqn, asksol, vlasovskikh, gdb, Albert.Strasheim, aljungberg, gkcn |
2011-05-03 11:15:36 | pitrou | link | issue9205 messages |
2011-05-03 11:15:35 | pitrou | create | |
|