Message163164
> Personally I'm not sure it is a wise guarantee to make.
If you make sure internal users are immune to this issue, then fine (but make sure to document it somewhere).
However, if this lost wakeup problem can affect current users of the API, then it sounds unacceptable. |
|
Date |
User |
Action |
Args |
2012-06-19 13:47:04 | pitrou | set | recipients:
+ pitrou, loewis, paul.moore, kristjan.jonsson, vstinner, python-dev, sbt |
2012-06-19 13:47:03 | pitrou | set | messageid: <1340113623.91.0.103183815147.issue15038@psf.upfronthosting.co.za> |
2012-06-19 13:47:03 | pitrou | link | issue15038 messages |
2012-06-19 13:47:02 | pitrou | create | |
|