diff options
Diffstat (limited to 'src/rt/rust_task.cpp')
| -rw-r--r-- | src/rt/rust_task.cpp | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/rt/rust_task.cpp b/src/rt/rust_task.cpp index 6a9f5cf5001..f5e2fcc9a08 100644 --- a/src/rt/rust_task.cpp +++ b/src/rt/rust_task.cpp @@ -713,16 +713,14 @@ rust_task::allow_kill() { } void * -rust_task::wait_event() { +rust_task::wait_event(bool *killed) { scoped_lock with(state_lock); if(!event_reject) { block_locked(&event_cond, "waiting on event"); - bool killed = false; state_lock.unlock(); - yield(&killed); + yield(killed); state_lock.lock(); - // TODO: what is the right thing to do if we are killed? } event_reject = false; |
