diff options
| author | Brian Anderson <banderson@mozilla.com> | 2012-03-02 20:55:40 -0800 |
|---|---|---|
| committer | Brian Anderson <banderson@mozilla.com> | 2012-03-05 19:39:55 -0800 |
| commit | d7298a797b1041e9e997378bdb3cd4923567b2d4 (patch) | |
| tree | 8b7053f6f17fffd4df016920e3f591df4189f9e6 /src/rt/rust_task.h | |
| parent | 8a4c8bab8486592b2606afb275ad62974ed89767 (diff) | |
rt: Protect rust_task::killed with a lock
Diffstat (limited to 'src/rt/rust_task.h')
| -rw-r--r-- | src/rt/rust_task.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/rt/rust_task.h b/src/rt/rust_task.h index 28446d9048a..300c1df133c 100644 --- a/src/rt/rust_task.h +++ b/src/rt/rust_task.h @@ -107,6 +107,8 @@ rust_task : public kernel_owned<rust_task>, rust_cond private: + // Protects the killed flag + lock_and_signal kill_lock; // Indicates that the task was killed and needs to unwind bool killed; // Indicates that we've called back into Rust from C |