avoid lxbroy7, which is presently inaccessible, but retain its build history in db queries;
authorwenzelm
Tue Nov 14 21:16:57 2017 +0100 (17 months ago)
changeset 67075eada9bd5fff2
parent 67074 5da20135f560
child 67077 8fa951baba0d
avoid lxbroy7, which is presently inaccessible, but retain its build history in db queries;
src/Pure/Admin/isabelle_cronjob.scala
     1.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Tue Nov 14 20:12:47 2017 +0100
     1.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Tue Nov 14 21:16:57 2017 +0100
     1.3 @@ -122,11 +122,12 @@
     1.4      args: String = "",
     1.5      afp: Boolean = false,
     1.6      slow: Boolean = false,
     1.7 +    more_hosts: List[String] = Nil,
     1.8      detect: SQL.Source = "")
     1.9    {
    1.10      def sql: SQL.Source =
    1.11        Build_Log.Prop.build_engine + " = " + SQL.string(Build_History.engine) + " AND " +
    1.12 -      Build_Log.Prop.build_host + " = " + SQL.string(host) +
    1.13 +      SQL.member(Build_Log.Prop.build_host.ident, host :: more_hosts) +
    1.14        (if (detect == "") "" else " AND " + SQL.enclose(detect))
    1.15  
    1.16      def profile: Build_Status.Profile =
    1.17 @@ -242,9 +243,9 @@
    1.18            detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64-windows"))),
    1.19      ) :::
    1.20      {
    1.21 -      for { (host, n) <- List("lxbroy6" -> 1, "lxbroy7" -> 2) }
    1.22 +      for { (n, hosts) <- List(1 -> List("lxbroy6"), 2 -> List("lxbroy8", "lxbroy7")) }
    1.23        yield {
    1.24 -        List(Remote_Build("AFP", host = host,
    1.25 +        List(Remote_Build("AFP", host = hosts.head, more_hosts = hosts.tail,
    1.26            options = "-m32 -M1x2 -t AFP -P" + n,
    1.27            args = "-N -X slow",
    1.28            afp = true,