refresh_interval  246 source3/web/statuspage.c 	int refresh_interval=30;
refresh_interval  314 source3/web/statuspage.c 		refresh_interval = atoi(v);
refresh_interval  337 source3/web/statuspage.c 		       refresh_interval);
refresh_interval  340 source3/web/statuspage.c 		printf("<br>%s%d\n", _("Refresh Interval: "), refresh_interval);
refresh_interval  450 source3/web/statuspage.c 		       refresh_interval,
refresh_interval  451 source3/web/statuspage.c 		       refresh_interval*1000);