Message208588
> A new parameter should be added to _PyTime_ObjectToTimeval() and
> _PyTime_ObjectToTimespec() to choose the rounding method.
That doesn't sound necessary. Just fix the select and selectors module so that the final (OS-level) timeout is always > 0 when the user timeout is > 0. |
|
Date |
User |
Action |
Args |
2014-01-20 23:14:13 | pitrou | set | recipients:
+ pitrou, gvanrossum, vstinner, neologix, serhiy.storchaka |
2014-01-20 23:14:13 | pitrou | set | messageid: <1390259653.6.0.864249490633.issue20311@psf.upfronthosting.co.za> |
2014-01-20 23:14:13 | pitrou | link | issue20311 messages |
2014-01-20 23:14:13 | pitrou | create | |
|