src/Pure/Concurrent/consumer_thread.scala
changeset 56718 096139bcfadd
parent 56708 d39148de6eee
child 56782 433cf57550fa
     1.1 --- a/src/Pure/Concurrent/consumer_thread.scala	Fri Apr 25 12:59:33 2014 +0200
     1.2 +++ b/src/Pure/Concurrent/consumer_thread.scala	Fri Apr 25 13:29:56 2014 +0200
     1.3 @@ -33,7 +33,7 @@
     1.4    private val mbox = Mailbox[Option[Consumer_Thread.Request[A]]]
     1.5  
     1.6    private val thread = Simple_Thread.fork(name, daemon) { main_loop() }
     1.7 -  private def is_active: Boolean = active && thread.isAlive
     1.8 +  def is_active: Boolean = active && thread.isAlive
     1.9  
    1.10    private def failure(exn: Throwable): Unit =
    1.11      System.err.println(