Skip to content
Permalink
Browse files

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

Otherwise we can end up infinitely spinning for no good reason.
  • Loading branch information
emilio committed Oct 30, 2016
1 parent 47d29fd commit f51f47813bc54cd60eee0545b2efa08ec666484a
Showing with 2 additions and 2 deletions.
  1. +2 −2 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,
};

0 comments on commit f51f478

Please sign in to comment.
You can’t perform that action at this time.