diff options
| author | Ben Blum <bblum@andrew.cmu.edu> | 2012-07-12 02:42:56 -0400 |
|---|---|---|
| committer | Ben Blum <bblum@andrew.cmu.edu> | 2012-07-12 18:08:36 -0400 |
| commit | 200a2ded3245eb0a1ca7b265ce83adba16d75b97 (patch) | |
| tree | 9874f527ab85ef32d2d9dc813685a1add5a03a51 /src/rt/rust_task.h | |
| parent | 343e9de8ef4ee9727f027c896ce99f09611b9603 (diff) | |
| download | rust-200a2ded3245eb0a1ca7b265ce83adba16d75b97.tar.gz rust-200a2ded3245eb0a1ca7b265ce83adba16d75b97.zip | |
Fix linked failure with root taskgroup to kill the runtime too.
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(); |