diff options
| -rw-r--r-- | src/lib/Server/FileMonitor.py | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/src/lib/Server/FileMonitor.py b/src/lib/Server/FileMonitor.py index 6334a1cc7..da6eb00a4 100644 --- a/src/lib/Server/FileMonitor.py +++ b/src/lib/Server/FileMonitor.py @@ -133,13 +133,12 @@ class GaminFam(object): count = 0 collapsed = 0 start = time() - now = time() - while (time() - now) < 0.01: - if self.mon.event_pending(): - while self.mon.event_pending(): - count += 1 - self.mon.handle_one_event() - now = time() + if self.mon.event_pending(): + while self.mon.event_pending(): + count += 1 + self.mon.handle_one_event() + else: + return 0 unique = [] bookkeeping = [] for event in self.events: |