From f51f47813bc54cd60eee0545b2efa08ec666484a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Emilio=20Cobos=20=C3=81lvarez?= <ecoal95@gmail.com>
Date: Sun, 30 Oct 2016 02:12:34 +0200
Subject: [PATCH] glutin: Close the window if the event stream is closed.

Otherwise we can end up infinitely spinning for no good reason.
---
 ports/glutin/window.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ports/glutin/window.rs b/ports/glutin/window.rs
index 25c6f111521a..082fff0bb15e 100644
--- 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,
                 };