diff options
| author | Ben Blum <bblum@andrew.cmu.edu> | 2013-08-13 17:31:13 -0400 |
|---|---|---|
| committer | Ben Blum <bblum@andrew.cmu.edu> | 2013-08-15 15:57:31 -0400 |
| commit | 65cf75af67de10d335391cfd66ee15e462d806f7 (patch) | |
| tree | badb39e50709a4e9a296e33bf570747d9ddecfb0 /src/rt/sync/timer.cpp | |
| parent | 0d817ee869387322dec4d3f7d407dcc9f91c2632 (diff) | |
| download | rust-65cf75af67de10d335391cfd66ee15e462d806f7.tar.gz rust-65cf75af67de10d335391cfd66ee15e462d806f7.zip | |
Fix select deschedule environment race for real this time, in light of task killing.
Diffstat (limited to 'src/rt/sync/timer.cpp')
0 files changed, 0 insertions, 0 deletions