(Merge 3.3) Issue #20311: select.epoll.poll() now rounds the timeout away from

zero, instead of rounding towards zero. For example, a timeout of one
microsecond is now rounded to one millisecond, instead of being rounded to
zero.
This commit is contained in:
Victor Stinner 2014-01-21 01:42:11 +01:00
commit 09354fd606
3 changed files with 18 additions and 1 deletions

View file

@ -1458,7 +1458,9 @@ pyepoll_poll(pyEpoll_Object *self, PyObject *args, PyObject *kwds)
return NULL;
}
else {
timeout = (int)(dtimeout * 1000.0);
/* epoll_wait() has a resolution of 1 millisecond, round away from zero
to wait *at least* dtimeout seconds. */
timeout = (int)ceil(dtimeout * 1000.0);
}
if (maxevents == -1) {