Admin/cronjob/main
changeset 64266 4699d3b3173e
parent 64182 857a335ac292
child 64498 bb29e6849a28
equal deleted inserted replaced
64265:8eb6365f5916 64266:4699d3b3173e
     4 
     4 
     5 THIS="$(cd "$(dirname "$0")"; pwd)"
     5 THIS="$(cd "$(dirname "$0")"; pwd)"
     6 
     6 
     7 source "$HOME/.bashrc"
     7 source "$HOME/.bashrc"
     8 
     8 
       
     9 export ISABELLE_IDENTIFIER="cronjob"
     9 "$THIS/../build" jars_fresh || exit $?
    10 "$THIS/../build" jars_fresh || exit $?
    10 
    11 
    11 exec env ISABELLE_IDENTIFIER="cronjob" \
    12 exec "$THIS/../../bin/isabelle_java" "-Duser.timezone=Europe/Berlin" isabelle.Isabelle_Cronjob "$@"
    12   "$THIS/../../bin/isabelle_java" "-Duser.timezone=Europe/Berlin" isabelle.Isabelle_Cronjob "$@"