Ticket #400: race.patch

File race.patch, 634 bytes (added by vorner, 9 years ago)
  • src/bin/zonemgr/zonemgr.py.in

    diff --git a/src/bin/zonemgr/zonemgr.py.in b/src/bin/zonemgr/zonemgr.py.in
    index 24b3f52..126d4d4 100644
    a b class ZonemgrRefresh: 
    324324        return False
    325325
    326326    def _run_timer(self, start_event):
    327         start_event.set()
    328327        while self._running:
     328            if start_event:
     329                start_event.set()
     330                start_event = None
    329331            # If zonemgr has no zone, set timer timeout to self._lowerbound_retry.
    330332            if self._zone_mgr_is_empty():
    331333                timeout = self._lowerbound_retry