rt: Remove rust_timer. Unused

2012-02-01 15:50:39 -08:00
parent d24eb58a09
commit 5c89938544
4 changed files with 0 additions and 119 deletions
--- 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) {