diff options
| author | Brian Anderson <banderson@mozilla.com> | 2012-03-02 15:14:52 -0800 |
|---|---|---|
| committer | Brian Anderson <banderson@mozilla.com> | 2012-03-02 15:21:59 -0800 |
| commit | 14306756b4a4f5f83043e3c2f91169a151fd54f5 (patch) | |
| tree | f27078ef26a89eb22fc1fc6841689b20eb20a777 /src/rt/rust_task.h | |
| parent | 9ec94f714ab4d7175451095dc7438e6a9ee2cc0c (diff) | |
rt: Always delete task stacks on the task thread
There's not a real race here, but it makes helgrind happy and is arguably less prone to future errrors.
Diffstat (limited to 'src/rt/rust_task.h')
| -rw-r--r-- | src/rt/rust_task.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/rt/rust_task.h b/src/rt/rust_task.h index b1610f57582..7063c97f77b 100644 --- a/src/rt/rust_task.h +++ b/src/rt/rust_task.h @@ -205,6 +205,7 @@ public: void reset_stack_limit(); bool on_rust_stack(); void check_stack_canary(); + void delete_all_stacks(); void config_notify(chan_handle chan); |
