# HG changeset patch # User wenzelm # Date 1477417460 -7200 # Node ID c46e26512e0fe2cdf222fef785b4dc2ac1d5d84f # Parent 5076725247faebf99e9343bfde09cdd9dd4fa982 use other remote_mac: macbroy30 is down; diff -r 5076725247fa -r c46e26512e0f src/Pure/Admin/isabelle_cronjob.scala --- a/src/Pure/Admin/isabelle_cronjob.scala Tue Oct 25 17:22:05 2016 +0200 +++ b/src/Pure/Admin/isabelle_cronjob.scala Tue Oct 25 19:44:20 2016 +0200 @@ -83,7 +83,7 @@ Isabelle_System.rm_tree(old_snapshot) Build_Release.build_release(base_dir, parallel_jobs = 4, - remote_mac = "macbroy30", website = Some(new_snapshot)) + remote_mac = "macbroy31", website = Some(new_snapshot)) if (release_snapshot.is_dir) File.mv(release_snapshot, old_snapshot) File.mv(new_snapshot, release_snapshot)