changeset 64498 | bb29e6849a28 |
parent 64266 | 4699d3b3173e |
child 73705 | ac07f6be27ea |
--- a/Admin/cronjob/main Fri Nov 11 17:23:26 2016 +0100 +++ b/Admin/cronjob/main Fri Nov 11 21:06:15 2016 +0100 @@ -9,4 +9,4 @@ export ISABELLE_IDENTIFIER="cronjob" "$THIS/../build" jars_fresh || exit $? -exec "$THIS/../../bin/isabelle_java" "-Duser.timezone=Europe/Berlin" isabelle.Isabelle_Cronjob "$@" +exec "$THIS/../../bin/isabelle_java" isabelle.Isabelle_Cronjob "$@"