# HG changeset patch # User wenzelm # Date 1478894775 -3600 # Node ID bb29e6849a28d74673c941f44778fb0d0f554ca4 # Parent f6cefd465f8636f6a03db78dc24dd6f96ff2d5ba $HOME/.bashrc provides TZ for *all* processes, resulting in proper date for Build_Log.log_date in remote_build_history via ssh (see also fe8f8f88a1d7); diff -r f6cefd465f86 -r bb29e6849a28 Admin/cronjob/main --- 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 "$@"