changeset 64182 | 857a335ac292 |
parent 64159 | fe8f8f88a1d7 |
child 64266 | 4699d3b3173e |
--- a/Admin/cronjob/main Wed Oct 12 21:48:53 2016 +0200 +++ b/Admin/cronjob/main Thu Oct 13 09:52:54 2016 +0200 @@ -8,4 +8,5 @@ "$THIS/../build" jars_fresh || exit $? -exec "$THIS/../../bin/isabelle_java" "-Duser.timezone=Europe/Berlin" isabelle.Isabelle_Cronjob "$@" +exec env ISABELLE_IDENTIFIER="cronjob" \ + "$THIS/../../bin/isabelle_java" "-Duser.timezone=Europe/Berlin" isabelle.Isabelle_Cronjob "$@"