blob: ae0cda2600148f9337041b7dd61dcc66055dc8b4 (
plain) (
tree)
|
|
package dotty.tools
package io
import java.util.concurrent._
class DaemonThreadFactory extends ThreadFactory {
def newThread(r: Runnable): Thread = {
val thread = new Thread(r)
thread setDaemon true
thread
}
}
object DaemonThreadFactory {
def newPool() = Executors.newCachedThreadPool(new DaemonThreadFactory)
}
|