dtv              2870 ext/session/session.c 			double dtv;
dtv              2872 ext/session/session.c 			dtv = (double) tv.tv_sec + tv.tv_usec / 1000000.0;
dtv              2873 ext/session/session.c 			if (dtv < progress->next_update_time) {
dtv              2876 ext/session/session.c 			progress->next_update_time = dtv + PS(rfc1867_min_freq);