diff --git a/src/servo/platform/osmain.rs b/src/servo/platform/osmain.rs index b5053774004..b01b82f2c22 100644 --- a/src/servo/platform/osmain.rs +++ b/src/servo/platform/osmain.rs @@ -97,9 +97,11 @@ fn mainloop(mode: Mode, po: comm::Port, dom_event_chan: pipes::SharedChan, dom_event_chan: pipes::SharedChan { *done = true;