src/Pure/Admin/ci_profile.scala
changeset 69121 842958af0400
parent 69120 9d3b41732fe0
child 69854 cc0b3e177b49
--- a/src/Pure/Admin/ci_profile.scala	Thu Oct 04 14:52:50 2018 +0200
+++ b/src/Pure/Admin/ci_profile.scala	Thu Oct 04 15:06:09 2018 +0200
@@ -139,13 +139,13 @@
 
   def threads: Int = Isabelle_System.hostname() match {
     case "hpcisabelle" => 8
-    case "lxcisa0" => 4
+    case "lxcisa1" => 4
     case _ => 2
   }
 
   def jobs: Int = Isabelle_System.hostname() match {
     case "hpcisabelle" => 8
-    case "lxcisa0" => 10
+    case "lxcisa1" => 10
     case _ => 2
   }