# HG changeset patch # User wenzelm # Date 1476345174 -7200 # Node ID 857a335ac292ecda67c0444bebaeb22d0c089a7e # Parent 12e6c3bbb488499f5183de57b48c80e07eaf3596 separate ISABELLE_HOME_USER (with its etc/settings); diff -r 12e6c3bbb488 -r 857a335ac292 Admin/cronjob/main --- 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 "$@"