| … | |
… | |
| 1878 | // timeout occurred, take action |
1878 | // timeout occurred, take action |
| 1879 | } |
1879 | } |
| 1880 | else |
1880 | else |
| 1881 | { |
1881 | { |
| 1882 | // callback was invoked, but there was some recent |
1882 | // callback was invoked, but there was some recent |
| 1883 | // activity. simply restart the timer to time out |
1883 | // activity. simply restart the timer to time out |
| 1884 | // after "after" seconds, which is the earliest time |
1884 | // after "after" seconds, which is the earliest time |
| 1885 | // the timeout can occur. |
1885 | // the timeout can occur. |
| 1886 | ev_timer_set (w, after, 0.); |
1886 | ev_timer_set (w, after, 0.); |
| 1887 | ev_timer_start (EV_A_ w); |
1887 | ev_timer_start (EV_A_ w); |
| 1888 | } |
1888 | } |
