more general workaround for failed sessions (again, see also 2edb89630a80, ed7b5cd3a7f2);
authorwenzelm
Sun May 21 23:41:46 2017 +0200 (2017-05-21)
changeset 65895744878d72021
parent 65894 54f621d5fa00
child 65896 18f5014331a1
more general workaround for failed sessions (again, see also 2edb89630a80, ed7b5cd3a7f2);
src/Pure/Admin/build_status.scala
     1.1 --- a/src/Pure/Admin/build_status.scala	Sun May 21 23:10:39 2017 +0200
     1.2 +++ b/src/Pure/Admin/build_status.scala	Sun May 21 23:41:46 2017 +0200
     1.3 @@ -166,7 +166,7 @@
     1.4              {
     1.5                val threads1 =
     1.6                  res.string(Build_Log.Settings.ISABELLE_BUILD_OPTIONS) match {
     1.7 -                  case Threads_Option(Value.Int(i)) if session_name == "Pure" => i
     1.8 +                  case Threads_Option(Value.Int(i)) => i
     1.9                    case _ => 1
    1.10                  }
    1.11                val threads2 = res.get_int(Build_Log.Data.threads).getOrElse(1)