# HG changeset patch
# User wenzelm
# Date 1495529941 -7200
# Node ID aefdb9e664c94ce438e69d91a4c2cc66379bc64c
# Parent  637d18b325d0dd79bdf0b554724d7e203c8565ac
tuned;

diff -r 637d18b325d0 -r aefdb9e664c9 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Mon May 22 23:24:25 2017 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Tue May 23 10:59:01 2017 +0200
@@ -240,7 +240,7 @@
                   push_isabelle_home = push_isabelle_home,
                   options =
                     "-r " + Bash.string(rev) +
-                    " -N " + Bash.string(task_name) + (index + 1).toString +
+                    " -N " + Bash.string(task_name) + "_" + (index + 1).toString +
                     " -f " + r.options,
                   args = "-o timeout=10800 " + r.args)