src/Pure/System/event_bus.scala
changeset 45635 d9cf3520083c
parent 43406 40c67d894be4
child 45667 546d78f0d81f
--- a/src/Pure/System/event_bus.scala	Fri Nov 25 21:27:16 2011 +0100
+++ b/src/Pure/System/event_bus.scala	Fri Nov 25 21:29:11 2011 +0100
@@ -32,29 +32,4 @@
   /* event invocation */
 
   def event(x: Event) { synchronized { receivers.foreach(_ ! x) } }
-
-
-  /* await global condition -- triggered via bus events */
-
-  def await(cond: => Boolean)
-  {
-    case object Wait
-    val a = new Actor {
-      def act {
-        if (cond) react { case Wait => reply(()); exit(Wait) }
-        else {
-          loop {
-            react {
-              case trigger if trigger != Wait =>
-                if (cond) { react { case Wait => reply(()); exit(Wait) } }
-            }
-          }
-        }
-      }
-    }
-    this += a
-    a.start
-    a !? Wait
-    this -= a
-  }
 }