diff options
author | Alan Jeffrey <ajeffrey@mozilla.com> | 2018-11-05 10:00:08 -0600 |
---|---|---|
committer | Alan Jeffrey <ajeffrey@mozilla.com> | 2018-11-05 10:00:08 -0600 |
commit | 6088ade74684791acd14d94dbaf96581cd7028e8 (patch) | |
tree | fa26dbeaaca3747a922e7355439ee822ce9f3a0b | |
parent | 747122fb632b16a15b39f5629089b6fc2f726c56 (diff) | |
download | servo-6088ade74684791acd14d94dbaf96581cd7028e8.tar.gz servo-6088ade74684791acd14d94dbaf96581cd7028e8.zip |
Argh tabs vs spaces
-rw-r--r-- | ports/libmlservo/src/lib.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ports/libmlservo/src/lib.rs b/ports/libmlservo/src/lib.rs index 532f0ff0481..8a20ad16682 100644 --- a/ports/libmlservo/src/lib.rs +++ b/ports/libmlservo/src/lib.rs @@ -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![]); } |