# HG changeset patch
# User wenzelm
# Date 1476777938 -7200
# Node ID 303976a45afea9bd196e8adeaf59e136752ed310
# Parent  bfc2e92d9b4c1de82a5013b9231cc9a119da655d
shared_home is default for classic isatest home setup;
distinct ISABELLE_IDENTIFIER for all tasks;

diff -r bfc2e92d9b4c -r 303976a45afe src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Tue Oct 18 07:04:08 2016 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Tue Oct 18 10:05:38 2016 +0200
@@ -97,19 +97,21 @@
     host: String,
     user: String = "",
     port: Int = SSH.default_port,
-    shared_home: Boolean = false,
+    shared_home: Boolean = true,
     options: String = "",
     args: String = "-o timeout=10800 -a")
 
   private val remote_builds =
     List(
-      Remote_Build("lxbroy10", options = "-m32 -M4 -N", shared_home = true),
+      Remote_Build("lxbroy10", options = "-m32 -M4 -N"),
       Remote_Build("macbroy2", options = "-m32 -M4"),
       Remote_Build("macbroy30", options = "-m32 -M2"),
       Remote_Build("macbroy31", options = "-m32 -M2"))
 
   private def remote_build_history(rev: String, r: Remote_Build): Logger_Task =
-    Logger_Task("build_history-" + r.host, logger =>
+  {
+    val task_name = "build_history-" + r.host
+    Logger_Task(task_name, logger =>
       {
         using(logger.ssh_context.open_session(host = r.host, user = r.user, port = r.port))(
           ssh =>
@@ -120,12 +122,15 @@
                   isabelle_repos.ext(r.host),
                   isabelle_repos_source = isabelle_dev_source,
                   self_update = !r.shared_home,
-                  options = r.options + " -f -r " + File.bash_string(rev),
+                  options =
+                    r.options + " -f -r " + File.bash_string(rev) +
+                      " -N " + File.bash_string(task_name),
                   args = r.args)
               for ((log, bytes) <- results)
                 Bytes.write(logger.log_dir + Path.explode(log), bytes)
             })
       })
+  }