1 files changed, 5 insertions, 2 deletions
diff --git a/src/libgreen/sched.rs b/src/libgreen/sched.rs
index 3554d435e55..989b8dc31f8 100644
--- a/src/libgreen/sched.rs
+++ b/src/libgreen/sched.rs
@@ -1285,8 +1285,11 @@ mod test {
                 ports.push(port);
             });
 
-            while !ports.is_empty() {
-                ports.pop().recv();
+            loop {
+                match ports.pop() {
+                    Some(port) => port.recv(),
+                    None => break,
+                }
             }
         }
     }