explicit timezone for the sake of lxbroy10;
authorwenzelm
Wed Oct 12 09:32:48 2016 +0200 (2016-10-12)
changeset 64159fe8f8f88a1d7
parent 64158 2f7de0af23d3
child 64160 1eea419fab65
explicit timezone for the sake of lxbroy10;
Admin/cronjob/main
     1.1 --- a/Admin/cronjob/main	Tue Oct 11 23:09:36 2016 +0200
     1.2 +++ b/Admin/cronjob/main	Wed Oct 12 09:32:48 2016 +0200
     1.3 @@ -8,4 +8,4 @@
     1.4  
     1.5  "$THIS/../build" jars_fresh || exit $?
     1.6  
     1.7 -exec "$THIS/../../bin/isabelle_java" isabelle.Isabelle_Cronjob "$@"
     1.8 +exec "$THIS/../../bin/isabelle_java" "-Duser.timezone=Europe/Berlin" isabelle.Isabelle_Cronjob "$@"