diff options
| author | Ben Blum <bblum@andrew.cmu.edu> | 2012-07-20 18:14:04 -0400 |
|---|---|---|
| committer | Ben Blum <bblum@andrew.cmu.edu> | 2012-07-20 19:23:19 -0400 |
| commit | 18c645a8839dd86d7f353d0fe98eaf27e246a525 (patch) | |
| tree | c8a2090a04148c24d97cdd12de8446b26a901624 /src/rt/rust_kernel.cpp | |
| parent | 5bb4a12900969b3250c490a5e0682c658fe65ba8 (diff) | |
| download | rust-18c645a8839dd86d7f353d0fe98eaf27e246a525.tar.gz rust-18c645a8839dd86d7f353d0fe98eaf27e246a525.zip | |
[2/4 for #2365, #2671] Fix exit/kill race with tasks during rust_kernel::fail
Diffstat (limited to 'src/rt/rust_kernel.cpp')
0 files changed, 0 insertions, 0 deletions