Message135025
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. |
|
Date |
User |
Action |
Args |
2011-05-03 11:11:25 | bquinlan | set | recipients:
+ bquinlan, pitrou, vstinner, jnoller, hongqn, asksol, vlasovskikh, gdb, Albert.Strasheim, aljungberg, gkcn |
2011-05-03 11:11:25 | bquinlan | set | messageid: <1304421085.63.0.965002749198.issue9205@psf.upfronthosting.co.za> |
2011-05-03 11:11:24 | bquinlan | link | issue9205 messages |
2011-05-03 11:11:23 | bquinlan | create | |
|