diff options
| author | Ben Blum <bblum@andrew.cmu.edu> | 2013-07-30 19:20:59 -0400 |
|---|---|---|
| committer | Ben Blum <bblum@andrew.cmu.edu> | 2013-07-31 14:37:22 -0400 |
| commit | 2e6dc161b6efac1ce2709ab4e1c05c55c01e3abf (patch) | |
| tree | 0d1425329ceab3ed0e4062355955de3060e685fb /src/libstd/rt/mod.rs | |
| parent | 389aba09523f805e3b493a5089c6397749b06b67 (diff) | |
| download | rust-2e6dc161b6efac1ce2709ab4e1c05c55c01e3abf.tar.gz rust-2e6dc161b6efac1ce2709ab4e1c05c55c01e3abf.zip | |
Give tasks useful names. #2891
Diffstat (limited to 'src/libstd/rt/mod.rs')
| -rw-r--r-- | src/libstd/rt/mod.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/libstd/rt/mod.rs b/src/libstd/rt/mod.rs index dc8669b9264..c38b929a6ce 100644 --- a/src/libstd/rt/mod.rs +++ b/src/libstd/rt/mod.rs @@ -316,12 +316,14 @@ fn run_(main: ~fn(), use_main_sched: bool) -> int { // Just put an unpinned task onto one of the default schedulers. let mut main_task = ~Task::new_root(&mut scheds[0].stack_pool, main); main_task.death.on_exit = Some(on_exit); + main_task.name = Some(~"main"); scheds[0].enqueue_task(main_task); } Some(ref mut main_sched) => { let home = Sched(main_sched.make_handle()); let mut main_task = ~Task::new_root_homed(&mut scheds[0].stack_pool, home, main); main_task.death.on_exit = Some(on_exit); + main_task.name = Some(~"main"); main_sched.enqueue_task(main_task); } }; |