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);