# HG changeset patch
# User wenzelm
# Date 1476257568 -7200
# Node ID fe8f8f88a1d72c95e26fa4cccd446123b96c2230
# Parent  2f7de0af23d3fd2517e1aab888ba6f455d34d4a1
explicit timezone for the sake of lxbroy10;

diff -r 2f7de0af23d3 -r fe8f8f88a1d7 Admin/cronjob/main
--- 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 "$@"