equal
deleted
inserted
replaced
470 |
470 |
471 def terminate: Unit = thread.interrupt |
471 def terminate: Unit = thread.interrupt |
472 def is_finished: Boolean = result.is_finished |
472 def is_finished: Boolean = result.is_finished |
473 |
473 |
474 @volatile private var timeout = false |
474 @volatile private var timeout = false |
475 private val time = Time.seconds(info.options.real("timeout")) |
475 private val time = info.options.seconds("timeout") |
476 private val timer: Option[Timer] = |
476 private val timer: Option[Timer] = |
477 if (time.seconds > 0.0) { |
477 if (time.seconds > 0.0) { |
478 val t = new Timer("build", true) |
478 val t = new Timer("build", true) |
479 t.schedule(new TimerTask { def run = { terminate; timeout = true } }, time.ms) |
479 t.schedule(new TimerTask { def run = { terminate; timeout = true } }, time.ms) |
480 Some(t) |
480 Some(t) |