diff options
| author | Ben Blum <bblum@andrew.cmu.edu> | 2012-07-12 19:52:32 -0400 |
|---|---|---|
| committer | Ben Blum <bblum@andrew.cmu.edu> | 2012-07-13 20:13:53 -0400 |
| commit | d338879ba5fef07890930abce6c8dd3549fe6fd4 (patch) | |
| tree | a09a21d14eeaca77a0ef9f8701f9860679f5b554 /src/rt/rust_task.h | |
| parent | 62575d9c4a26eb2fa0bd1a1dbf1580633a886dce (diff) | |
| download | rust-d338879ba5fef07890930abce6c8dd3549fe6fd4.tar.gz rust-d338879ba5fef07890930abce6c8dd3549fe6fd4.zip | |
Reintroduce linked failure (killing runtime)
This reverts commit 5724c6454950617c292daba89cdb9a3b4c862430.
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 1d87a0ed56c..d562d151894 100644 --- a/src/rt/rust_task.h +++ b/src/rt/rust_task.h @@ -275,6 +275,10 @@ public: void fail(); void fail(char const *expr, char const *file, size_t line); + // Propagate failure to the entire rust runtime. + // TODO(bblum): maybe this can be done at rust-level? + void fail_sched_loop(); + // Disconnect from our supervisor. void unsupervise(); |