diff options
| author | bors <bors@rust-lang.org> | 2013-02-12 14:36:33 -0800 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2013-02-12 14:36:33 -0800 |
| commit | bc2d147847f2c8190250ddb25e3bc71b38cfaf0a (patch) | |
| tree | 58ac04240d689afa51da396928a0a2583769f8a8 /src/rt/rust_kernel.h | |
| parent | 21a0d52a85895434ec1ac2f2293b89112bfc0002 (diff) | |
| parent | 0db527e2f8033e49ee588b3be71f3cd7a0d13b7c (diff) | |
auto merge of #4858 : z0w0/rust/rm_weak_task_count, r=graydon
Diffstat (limited to 'src/rt/rust_kernel.h')
| -rw-r--r-- | src/rt/rust_kernel.h | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/rt/rust_kernel.h b/src/rt/rust_kernel.h index 11af02dace4..01ebf5ab57b 100644 --- a/src/rt/rust_kernel.h +++ b/src/rt/rust_kernel.h @@ -160,10 +160,8 @@ public: rust_sched_id main_sched_id() { return main_scheduler; } rust_sched_id osmain_sched_id() { return osmain_scheduler; } - void register_task(); - void unregister_task(); - void inc_weak_task_count(); - void dec_weak_task_count(); + void inc_live_count(); + void dec_live_count(); void register_exit_function(spawn_fn runner, fn_env_pair *f); }; |
