# HG changeset patch # User wenzelm # Date 1520344680 -3600 # Node ID 20c262dcfdf5a461e905d0d35644994b3d03ef97 # Parent 6411290b9d348e01c2fc5f7a3eec4f078eafc265 proper target directory; diff -r 6411290b9d34 -r 20c262dcfdf5 src/Pure/Admin/isabelle_cronjob.scala --- a/src/Pure/Admin/isabelle_cronjob.scala Tue Mar 06 14:41:05 2018 +0100 +++ b/src/Pure/Admin/isabelle_cronjob.scala Tue Mar 06 14:58:00 2018 +0100 @@ -61,8 +61,8 @@ Logger_Task("exit", logger => { Isabelle_System.bash( - "rsync -a " + File.bash_path(main_dir + Path.explode("log")) + " " + - Bash.string(backup + "/cronjob/log")).check + "rsync -a " + File.bash_path(main_dir + Path.explode("log")) + " " + Bash.string(backup)) + .check })