# 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)