diff options
| author | Brian Anderson <banderson@mozilla.com> | 2012-01-12 22:17:21 -0800 |
|---|---|---|
| committer | Brian Anderson <banderson@mozilla.com> | 2012-01-12 22:24:27 -0800 |
| commit | 0616cba62be78082f10f6673d45ba4d94da423dc (patch) | |
| tree | 0cd1d0cf9434a751b293b8292da1c153065da491 /src/rt/rust_kernel.h | |
| parent | dcac427795285a46232722a38e8a5f88ae4dc891 (diff) | |
| download | rust-0616cba62be78082f10f6673d45ba4d94da423dc.tar.gz rust-0616cba62be78082f10f6673d45ba4d94da423dc.zip | |
libcore: Add sys::set_exit_status
Sets the process exit code
Diffstat (limited to 'src/rt/rust_kernel.h')
| -rw-r--r-- | src/rt/rust_kernel.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/rt/rust_kernel.h b/src/rt/rust_kernel.h index 8d59dabdcb9..f60987acae5 100644 --- a/src/rt/rust_kernel.h +++ b/src/rt/rust_kernel.h @@ -34,9 +34,10 @@ private: rust_task_id max_id; hash_map<rust_task_id, rust_task *> task_table; + int rval; + public: const size_t num_threads; - int rval; volatile int live_tasks; struct rust_env *env; @@ -68,6 +69,7 @@ public: rust_task_id create_task(rust_task *spawner, const char *name); rust_task *get_task_by_id(rust_task_id id); void release_task_id(rust_task_id tid); + void set_exit_status(int code); }; #endif /* RUST_KERNEL_H */ |