diff options
Diffstat (limited to 'src/rt/rust_sched_loop.cpp')
| -rw-r--r-- | src/rt/rust_sched_loop.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/rt/rust_sched_loop.cpp b/src/rt/rust_sched_loop.cpp index ce549db5236..d494fa487cf 100644 --- a/src/rt/rust_sched_loop.cpp +++ b/src/rt/rust_sched_loop.cpp @@ -108,6 +108,8 @@ rust_sched_loop::number_of_live_tasks() { */ void rust_sched_loop::reap_dead_tasks() { + lock.must_have_lock(); + if (dead_task == NULL) { return; } |