+ if (to != php_get_inf()) {
+ t.tv_sec = (time_t) to;
+ t.tv_usec = (suseconds_t) ((to - t.tv_sec) * 1000000.0);
+ tp = &t;
+ }
+
+ if (0 > select(m + 1, &i, &o, NULL, tp)) {
+ if (errno == EINTR) {
+ /* interrupt; let userland be able to handle signals etc. */
+ return;
+ }