Add an is_empty check before retrieving elapsed time.

TimelyDataflow · Jan 14, 2025 · ad5b9c8 · ad5b9c8
1 parent 3b32df5
commit ad5b9c8
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/timely/src/scheduling/activate.rs b/timely/src/scheduling/activate.rs
@@ -96,10 +96,12 @@ impl Activations {
         }
 
         // Drain timer-based activations.
-        let now = self.timer.elapsed();
-        while self.queue.peek().map(|Reverse((t,_))| t <= &now) == Some(true) {
-            let Reverse((_time, path)) = self.queue.pop().unwrap();
-            self.activate(&path[..]);
+        if !self.queue.is_empty() {
+            let now = self.timer.elapsed();
+            while self.queue.peek().map(|Reverse((t,_))| t <= &now) == Some(true) {
+                let Reverse((_time, path)) = self.queue.pop().unwrap();
+                self.activate(&path[..]);
+            }
         }
 
         self.bounds.drain(.. self.clean);