diff options
| author | Brian Anderson <banderson@mozilla.com> | 2012-05-15 11:34:52 -0700 |
|---|---|---|
| committer | Brian Anderson <banderson@mozilla.com> | 2012-05-15 16:13:42 -0700 |
| commit | 7277cd71984e6a09bc2f8a8a828a5e213b485d00 (patch) | |
| tree | 1bab4372580c8f39c7514923f13fef9da33219e8 /src/rt/rust_task.h | |
| parent | 8fe0461f06ac4a7fe9705d2cd62e8bb547975c8f (diff) | |
| download | rust-7277cd71984e6a09bc2f8a8a828a5e213b485d00.tar.gz rust-7277cd71984e6a09bc2f8a8a828a5e213b485d00.zip | |
core: Add task::unkillable
Diffstat (limited to 'src/rt/rust_task.h')
| -rw-r--r-- | src/rt/rust_task.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/rt/rust_task.h b/src/rt/rust_task.h index 5a841f00f59..1867c8f4ed8 100644 --- a/src/rt/rust_task.h +++ b/src/rt/rust_task.h @@ -155,6 +155,7 @@ private: bool killed; // Indicates that we've called back into Rust from C bool reentered_rust_stack; + bool disallow_kill; // The stack used for running C code, borrowed from the scheduler thread stk_seg *c_stack; @@ -268,6 +269,9 @@ public: const char *get_cond_name() { return cond_name; } void cleanup_after_turn(); + + void inhibit_kill(); + void allow_kill(); }; // FIXME: It would be really nice to be able to get rid of this. |
