blob: e7cc479f98f2d1523c38f179d34a9a663221e023 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#include "rust_internal.h"
rust_task_list::rust_task_list (rust_task_thread *thread, const char* name) :
thread(thread), name(name) {
}
void
rust_task_list::delete_all() {
DLOG(thread, task, "deleting all %s tasks", name);
while (is_empty() == false) {
rust_task *task = pop_value();
DLOG(thread, task, "deleting task " PTR, task);
delete task;
}
}
|