Message139789
Well, I think it deserves a comment in the documentation that behaviour of Pipes and Queues when one of the process terminates is undefined and implementation-dependent.
By the way, there's internal support in 3.3 to reliably detect killed children, and it's used by concurrent.futures: http://docs.python.org/dev/library/concurrent.futures.html#concurrent.futures.BrokenProcessPool. However, I'm not sure there's an easy way to detect a killed master process from one of the worker processes. |
|
Date |
User |
Action |
Args |
2011-07-04 17:07:21 | pitrou | set | recipients:
+ pitrou, neologix, docs@python, lcampagn |
2011-07-04 17:07:21 | pitrou | set | messageid: <1309799241.29.0.105010421715.issue12488@psf.upfronthosting.co.za> |
2011-07-04 17:07:20 | pitrou | link | issue12488 messages |
2011-07-04 17:07:20 | pitrou | create | |
|