Message298722
As a matter of fact, the bug is in Condition (which is used by Event.wait() but not by Event.is_set(), hence your workaround). Here is a reproducer script.
This looks like a hard issue to solve. There is no way to know whether a process that used to be waiting for a Condition was killed. |
|
Date |
User |
Action |
Args |
2017-07-20 14:05:30 | pitrou | set | recipients:
+ pitrou, paul.moore, tim.golden, zach.ware, steve.dower, davin, mickp |
2017-07-20 14:05:30 | pitrou | set | messageid: <1500559530.45.0.450551777511.issue30975@psf.upfronthosting.co.za> |
2017-07-20 14:05:30 | pitrou | link | issue30975 messages |
2017-07-20 14:05:30 | pitrou | create | |
|