diff options
Diffstat (limited to 'src/servo/platform/osmain.rs')
-rw-r--r-- | src/servo/platform/osmain.rs | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/src/servo/platform/osmain.rs b/src/servo/platform/osmain.rs index 848819fd7a5..e27937b213f 100644 --- a/src/servo/platform/osmain.rs +++ b/src/servo/platform/osmain.rs @@ -13,7 +13,6 @@ import dom::event::{Event, ResizeEvent}; import layers::ImageLayer; import geom::size::Size2D; import std::cmp::fuzzy_eq; -import std::time::precise_time_ns; import vec::push; type OSMain = chan<Msg>; @@ -35,13 +34,6 @@ fn OSMain() -> OSMain { } } -fn time(msg: str, callback: fn()) { - let start_time = precise_time_ns(); - callback(); - let end_time = precise_time_ns(); - #debug("%s took %u ms", msg, ((end_time - start_time) / 1000000u64) as uint); -} - fn mainloop(po: port<Msg>) { let key_handlers: @dvec<chan<()>> = @dvec(); let event_listeners: @dvec<chan<Event>> = @dvec(); @@ -117,7 +109,7 @@ fn mainloop(po: port<Msg>) { #debug("osmain: drawing to screen"); - do time("compositing") { + do util::time::time("compositing") { layers::rendergl::render_scene(context, *scene); } |