Time other passes of the pipeline

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);
         }