diff options
Diffstat (limited to 'src/rt/rust_task.cpp')
| -rw-r--r-- | src/rt/rust_task.cpp | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/src/rt/rust_task.cpp b/src/rt/rust_task.cpp index b3caac25..7140692c 100644 --- a/src/rt/rust_task.cpp +++ b/src/rt/rust_task.cpp @@ -64,7 +64,6 @@ rust_task::rust_task(rust_dom *dom, rust_task *spawner) : cond(NULL), supervisor(spawner), idx(0), - waiting_tasks(dom), rendezvous_ptr(0), alarm(this) { @@ -373,19 +372,6 @@ rust_task::unsupervise() } void -rust_task::notify_waiting_tasks() -{ - while (waiting_tasks.length() > 0) { - log(rust_log::ALL, "notify_waiting_tasks: %d", - waiting_tasks.length()); - rust_task *waiting_task = waiting_tasks.pop()->receiver; - if (!waiting_task->dead()) { - waiting_task->wakeup(this); - } - } -} - -void rust_task::notify_tasks_waiting_to_join() { while (tasks_waiting_to_join.is_empty() == false) { log(rust_log::ALL, "notify_tasks_waiting_to_join: %d", |