diff options
| author | Brian Anderson <banderson@mozilla.com> | 2012-02-01 15:50:39 -0800 |
|---|---|---|
| committer | Brian Anderson <banderson@mozilla.com> | 2012-02-01 16:05:17 -0800 |
| commit | 5c8993854495a35a182182b00d472e08be796a6b (patch) | |
| tree | bf4fddeb5135ba862651a004b44834974ef47bec /src/rt/rust_scheduler.cpp | |
| parent | d24eb58a094b73f1b22cdc7ea5087b59f1d1b574 (diff) | |
| download | rust-5c8993854495a35a182182b00d472e08be796a6b.tar.gz rust-5c8993854495a35a182182b00d472e08be796a6b.zip | |
rt: Remove rust_timer. Unused
Diffstat (limited to 'src/rt/rust_scheduler.cpp')
| -rw-r--r-- | src/rt/rust_scheduler.cpp | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/rt/rust_scheduler.cpp b/src/rt/rust_scheduler.cpp index 5b8ae206a74..d4aaa9edbcd 100644 --- a/src/rt/rust_scheduler.cpp +++ b/src/rt/rust_scheduler.cpp @@ -244,13 +244,6 @@ void rust_scheduler::start_main_loop() { lock.lock(); - // Make sure someone is watching, to pull us out of infinite loops. - // - // FIXME: time-based interruption is not presently working; worked - // in rustboot and has been completely broken in rustc. - // - // rust_timer timer(this); - DLOG(this, dom, "started domain loop %d", id); while (kernel->live_tasks > 0) { |