Message119760
Right. The condition object change is necessary to have timeout work. I can remove that feature, and slate it for another day. Add a separate patch for a Condition.wait() return value. All of the other apis are able to let the caller know whether a timeout occurred or not, I think Condition.wait() should do the same.
Actually, I can fudge the timeout with time.clock(), which is good enough.
I'll write up some docs. |
|
Date |
User |
Action |
Args |
2010-10-28 06:54:51 | kristjan.jonsson | set | recipients:
+ kristjan.jonsson, georg.brandl, giampaolo.rodola, jyasskin |
2010-10-28 06:54:51 | kristjan.jonsson | set | messageid: <1288248891.54.0.0181403590968.issue8777@psf.upfronthosting.co.za> |
2010-10-28 06:54:49 | kristjan.jonsson | link | issue8777 messages |
2010-10-28 06:54:48 | kristjan.jonsson | create | |
|