diff options
| author | Michael Bebenita <[email protected]> | 2010-07-28 16:49:16 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-07-28 20:30:29 -0700 |
| commit | a5b7a5202c37fd361917a4831d0576f23383e5ea (patch) | |
| tree | efef8abff679f8f42430254fad12586d42ebbaad /src | |
| parent | Add some missing headers to the Makefile's RUNTIME_HDR list. (diff) | |
| download | rust-a5b7a5202c37fd361917a4831d0576f23383e5ea.tar.xz rust-a5b7a5202c37fd361917a4831d0576f23383e5ea.zip | |
Note that we keep running the main loop until all task refcounts are zero.
Diffstat (limited to 'src')
| -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() |