+ // XXX debug
+ {
+ int i, nready=0, nwatches=0;
+ for(w=s->watches; w; w=w->watches_next)
+ nwatches++;
+ for(i=0; i<s->n_pollfds; i++)
+ if(s->pollfds[i].revents)
+ nready++;
+ if(nready > 0 && s->pollfds[i].revents)
+ printf(" wake-up,");
+ printf(" %d ready, %d watches)\n", nready, nwatches);
+ }
+
+ /* We execute only one callback in every iteration */