dtv 2621 ext/session/session.c double dtv; dtv 2623 ext/session/session.c dtv = (double) tv.tv_sec + tv.tv_usec / 1000000.0; dtv 2624 ext/session/session.c if (dtv < progress->next_update_time) { dtv 2627 ext/session/session.c progress->next_update_time = dtv + PS(rfc1867_min_freq);