# HG changeset patch
# User wenzelm
# Date 1723024725 -7200
# Node ID ebb1243098bf5651ea03f02e88371ad0ae3da02b
# Parent  be3325cbeb40ae8d77c05e7771796459a5c0155c
prefer host that is less likely to be down;

diff -r be3325cbeb40 -r ebb1243098bf src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Wed Aug 07 11:58:01 2024 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Wed Aug 07 11:58:45 2024 +0200
@@ -16,7 +16,7 @@
 object Isabelle_Cronjob {
   /* global resources: owned by main cronjob */
 
-  val backup = "lxbroy10:cronjob"
+  val backup = "isabelle.in.tum.de:cronjob"
   val main_dir: Path = Path.explode("~/cronjob")
   val main_state_file: Path = main_dir + Path.explode("run/main.state")
   val build_release_log: Path = main_dir + Path.explode("run/build_release.log")