refresh_timer      71 tools/crm_mon.c static mainloop_timer_t *refresh_timer = NULL;
refresh_timer     787 tools/crm_mon.c     if (refresh_timer != NULL) {
refresh_timer     789 tools/crm_mon.c         mainloop_timer_stop(refresh_timer);
refresh_timer    2059 tools/crm_mon.c     if(refresh_timer == NULL) {
refresh_timer    2060 tools/crm_mon.c         refresh_timer = mainloop_timer_add("refresh", 2000, FALSE, mon_trigger_refresh, NULL);
refresh_timer    2065 tools/crm_mon.c         mainloop_timer_stop(refresh_timer);
refresh_timer    2079 tools/crm_mon.c         mainloop_timer_stop(refresh_timer);
refresh_timer    2083 tools/crm_mon.c         mainloop_timer_start(refresh_timer);