refresh_timer    4049 tools/crm_mon.c     static mainloop_timer_t *refresh_timer = NULL;
refresh_timer    4054 tools/crm_mon.c     if(refresh_timer == NULL) {
refresh_timer    4055 tools/crm_mon.c         refresh_timer = mainloop_timer_add("refresh", 2000, FALSE, mon_trigger_refresh, NULL);
refresh_timer    4112 tools/crm_mon.c         mainloop_timer_stop(refresh_timer);
refresh_timer    4117 tools/crm_mon.c         mainloop_timer_stop(refresh_timer);
refresh_timer    4121 tools/crm_mon.c         mainloop_timer_start(refresh_timer);