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/rt/rust_kernel.cpp | |
| 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/rt/rust_kernel.cpp')
0 files changed, 0 insertions, 0 deletions