diff options
| author | Ben Blum <bblum@andrew.cmu.edu> | 2013-07-08 19:31:32 -0400 |
|---|---|---|
| committer | Ben Blum <bblum@andrew.cmu.edu> | 2013-07-20 05:08:56 -0400 |
| commit | e80efe3fda506877b3fb7ff0df5d97dffb6a906f (patch) | |
| tree | bd84dc36ca507ed8d3d0e11b0044a8066f302a36 /src/rt/rust_kernel.cpp | |
| parent | 629f6e8d68be06bf07f803db64be6a917a66b2cf (diff) | |
| download | rust-e80efe3fda506877b3fb7ff0df5d97dffb6a906f.tar.gz rust-e80efe3fda506877b3fb7ff0df5d97dffb6a906f.zip | |
Do a task-killed check at the start of task 'timeslices'.
Diffstat (limited to 'src/rt/rust_kernel.cpp')
0 files changed, 0 insertions, 0 deletions