auto merge of #1457 : zmike/servo/master, r=jdm

this should resolve #1169

1 files changed, 4 insertions, 5 deletions

diff --git a/src/components/util/time.rs b/src/components/util/time.rs
index 59b01d264e7..911100bcb36 100644
--- a/src/components/util/time.rs
+++ b/src/components/util/time.rs
@@ -8,7 +8,7 @@ use extra::time::precise_time_ns;
 use extra::treemap::TreeMap;
 use std::comm::{Port, SharedChan};
 use std::iter::AdditiveIterator;
-
+use task::{spawn_named};
 
 // TODO: This code should be changed to use the commented code that uses timers
 // directly, once native timers land in Rust.
@@ -26,7 +26,6 @@ impl Timer {
     }
 }
 
-
 // front-end representation of the profiler used to communicate with the profiler
 #[deriving(Clone)]
 pub struct ProfilerChan(SharedChan<ProfilerMsg>);
@@ -117,7 +116,7 @@ impl Profiler {
             Some(period) => {
                 let period = (period * 1000f64) as u64;
                 let chan = chan.clone();
-                spawn(proc() {
+                spawn_named("Profiler timer", proc() {
                     loop {
                         Timer::sleep(period);
                         if !chan.try_send(PrintMsg) {
@@ -126,14 +125,14 @@ impl Profiler {
                     }
                 });
                 // Spawn the profiler
-                spawn(proc() {
+                spawn_named("Profiler", proc() {
                     let mut profiler = Profiler::new(port);
                     profiler.start();
                 });
             }
             None => {
                 // no-op to handle profiler messages when the profiler is inactive
-                spawn(proc() {
+                spawn_named("Profiler", proc() {
                     while port.recv_opt().is_some() {}
                 });
             }