… | |
… | |
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 | } |