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

Argh tabs vs spaces

Browse source
This commit is contained in:
Alan Jeffrey 2018-11-05 10:00:08 -06:00
parent 747122fb63
commit 6088ade746
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
ports/libmlservo/src/lib.rs
View file

@ -241,9 +241,9 @@ pub unsafe extern "C" fn discard_servo(servo: *mut ServoInstance) {
}
}
if Instant::now() > finish {
warn!("Incomplete shutdown.");
warn!("Incomplete shutdown.");
break 'outer;
}
}
thread::sleep(SHUTDOWN_POLL_INTERVAL);
servo.servo.handle_events(vec![]);
}