Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/cronjob/main
changeset 64159 fe8f8f88a1d7
parent 64149 1380bf90d986
child 64182 857a335ac292 
--- a/Admin/cronjob/main	Tue Oct 11 23:09:36 2016 +0200
+++ b/Admin/cronjob/main	Wed Oct 12 09:32:48 2016 +0200
@@ -8,4 +8,4 @@
 
 "$THIS/../build" jars_fresh || exit $?
 
-exec "$THIS/../../bin/isabelle_java" isabelle.Isabelle_Cronjob "$@"
+exec "$THIS/../../bin/isabelle_java" "-Duser.timezone=Europe/Berlin" isabelle.Isabelle_Cronjob "$@"
isabelle