src/Pure/Thy/thy_resources.scala
changeset 68947 ea804c814693
parent 68943 e564605d4cac
child 68949 e848328cb2c1
     1.1 --- a/src/Pure/Thy/thy_resources.scala	Sat Sep 08 13:22:23 2018 +0200
     1.2 +++ b/src/Pure/Thy/thy_resources.scala	Sat Sep 08 13:36:40 2018 +0200
     1.3 @@ -81,6 +81,7 @@
     1.4    val default_check_delay = Time.seconds(0.5)
     1.5    val default_nodes_status_delay = Time.seconds(-1.0)
     1.6    val default_commit_clean_delay = Time.seconds(60.0)
     1.7 +  val default_watchdog_timeout = Time.seconds(600.0)
     1.8  
     1.9  
    1.10    class Session private[Thy_Resources](
    1.11 @@ -196,7 +197,7 @@
    1.12        master_dir: String = "",
    1.13        check_delay: Time = default_check_delay,
    1.14        check_limit: Int = 0,
    1.15 -      watchdog_timeout: Time = Time.zero,
    1.16 +      watchdog_timeout: Time = default_watchdog_timeout,
    1.17        nodes_status_delay: Time = default_nodes_status_delay,
    1.18        id: UUID = UUID(),
    1.19        // commit: must not block, must not fail
    1.20 @@ -303,7 +304,7 @@
    1.21  
    1.22                check_result()
    1.23  
    1.24 -              if (commit.isDefined && commit_clean_delay >= Time.zero) {
    1.25 +              if (commit.isDefined && commit_clean_delay > Time.zero) {
    1.26                  if (use_theories_state.value.finished_result)
    1.27                    delay_commit_clean.revoke
    1.28                  else delay_commit_clean.invoke