diff options
| author | Ben Blum <bblum@andrew.cmu.edu> | 2013-07-01 23:24:24 -0400 |
|---|---|---|
| committer | Ben Blum <bblum@andrew.cmu.edu> | 2013-07-20 05:08:56 -0400 |
| commit | 6882508b6f9be4d4537ee863fb42f1ae862045a8 (patch) | |
| tree | 5a1edb7eb32c8c20602de4eaa225ffc200db9d61 /src/libstd/task | |
| parent | 52ca256d7be99dafa81c531bf1fc6ec2e2a508b9 (diff) | |
| download | rust-6882508b6f9be4d4537ee863fb42f1ae862045a8.tar.gz rust-6882508b6f9be4d4537ee863fb42f1ae862045a8.zip | |
Add kill::Death for task death services and use it in Task.
Diffstat (limited to 'src/libstd/task')
| -rw-r--r-- | src/libstd/task/spawn.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/libstd/task/spawn.rs b/src/libstd/task/spawn.rs index a08214ea40c..518b52a19fb 100644 --- a/src/libstd/task/spawn.rs +++ b/src/libstd/task/spawn.rs @@ -616,7 +616,7 @@ fn spawn_raw_newsched(mut opts: TaskOpts, f: ~fn()) { if success { Success } else { Failure } ) }; - task.on_exit = Some(on_exit); + task.death.on_exit = Some(on_exit); } rtdebug!("spawn about to take scheduler"); |