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:41:00 +01:00
parent 9b7a1a1af6
commit 665486e0e7
3 changed files with 18 additions and 1 deletions

View file

@ -1379,7 +1379,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) {