diff options
| author | Brian Anderson <banderson@mozilla.com> | 2011-11-13 16:36:47 -0800 |
|---|---|---|
| committer | Brian Anderson <banderson@mozilla.com> | 2011-11-13 16:36:47 -0800 |
| commit | 58e923de6ef89f252f350d0d89f7b13798b517bd (patch) | |
| tree | 4e68c04e3acd27844ff348d7472c2f67264f6370 /src/rt/rust_task.h | |
| parent | 138d9ca5d536a67465f8b97bee12a0c24b9e3233 (diff) | |
| download | rust-58e923de6ef89f252f350d0d89f7b13798b517bd.tar.gz rust-58e923de6ef89f252f350d0d89f7b13798b517bd.zip | |
rt: Perform task notification before killing the parent task
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 2d8afa619cd..30e0d90b129 100644 --- a/src/rt/rust_task.h +++ b/src/rt/rust_task.h @@ -213,6 +213,8 @@ rust_task : public kernel_owned<rust_task>, rust_cond // ground. We should never be migrating shared boxes between tasks. const type_desc *release_alloc(void *alloc); void claim_alloc(void *alloc, const type_desc *tydesc); + + void notify(bool success); }; // |