# HG changeset patch
# User Lars Hupel <lars.hupel@mytum.de>
# Date 1538658369 -7200
# Node ID 842958af0400a9c56e16fa21472d77b995de6501
# Parent  9d3b41732fe0d23261c03264b4ce89be3f0c015d
use correct hostname

diff -r 9d3b41732fe0 -r 842958af0400 src/Pure/Admin/ci_profile.scala
--- 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
   }