glutin: Close the window if the event stream is closed.

Otherwise we can end up infinitely spinning for no good reason.
servo · Oct 30, 2016 · f51f478 · f51f478
1 parent 47d29fd
commit f51f478
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/ports/glutin/window.rs b/ports/glutin/window.rs
@@ -522,7 +522,7 @@ impl Window {
                 let event = match window.wait_events().next() {
                     None => {
                         warn!("Window event stream closed.");
-                        return false;
+                        return true;
                     },
                     Some(event) => event,
                 };
@@ -550,7 +550,7 @@ impl Window {
                 let event = match window.wait_events().next() {
                     None => {
                         warn!("Window event stream closed.");
-                        return false;
+                        return true;
                     },
                     Some(event) => event,
                 };