Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 06:00:15 +01:00
Code Issues Projects Releases Packages Wiki Activity

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

Browse source 
Otherwise we can end up infinitely spinning for no good reason.
This commit is contained in:
Emilio Cobos Álvarez 2016-10-30 02:12:34 +02:00
parent 47d29fd056
commit f51f47813b
No known key found for this signature in database
GPG key ID: 056B727BB9C1027C
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
ports/glutin/window.rs
View file

@ -522,7 +522,7 @@ impl Window {
let event = match window.wait_events().next() { let event = match window.wait_events().next() {
None => { None => {
warn!("Window event stream closed."); warn!("Window event stream closed.");
return false; return true;
}, },
Some(event) => event, Some(event) => event,
}; };
@ -550,7 +550,7 @@ impl Window {
let event = match window.wait_events().next() { let event = match window.wait_events().next() {
None => { None => {
warn!("Window event stream closed."); warn!("Window event stream closed.");
return false; return true;
}, },
Some(event) => event, Some(event) => event,
}; };