diff options
Diffstat (limited to 'src/rt/rust_dom.cpp')
| -rw-r--r-- | src/rt/rust_dom.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/rt/rust_dom.cpp b/src/rt/rust_dom.cpp index 0c175e78..362c215e 100644 --- a/src/rt/rust_dom.cpp +++ b/src/rt/rust_dom.cpp @@ -351,7 +351,8 @@ rust_dom::log_state() { * Starts the main scheduler loop which performs task scheduling for this * domain. * - * Returns once no more tasks can be scheduled. + * Returns once no more tasks can be scheduled and all task ref_counts + * drop to zero. */ int rust_dom::start_main_loop() |