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