src/Pure/Admin/isabelle_cronjob.scala
changeset 65949 453cf5c94345
parent 65929 de3adcf6a276
child 66007 6706d6f0afda
     1.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Sat May 27 13:20:35 2017 +0200
     1.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Sat May 27 13:24:01 2017 +0200
     1.3 @@ -240,7 +240,7 @@
     1.4                    push_isabelle_home = push_isabelle_home,
     1.5                    options =
     1.6                      "-r " + Bash.string(rev) +
     1.7 -                    " -N " + Bash.string(task_name) + "_" + (if (i < 0) "" else (i + 1).toString) +
     1.8 +                    " -N " + Bash.string(task_name) + (if (i < 0) "" else "_" + (i + 1).toString) +
     1.9                      " -f " + r.options,
    1.10                    args = "-o timeout=10800 " + r.args)
    1.11