Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
separate ISABELLE_HOME_USER (with its etc/settings);
authorwenzelm
Thu, 13 Oct 2016 09:52:54 +0200
changeset 64182 857a335ac292
parent 64178 12e6c3bbb488
child 64183 c69a77e0124a
separate ISABELLE_HOME_USER (with its etc/settings);
Admin/cronjob/main file | annotate | diff | comparison | revisions 
--- 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 "$@"
isabelle