changeset 67769 | 20c262dcfdf5 |
parent 67766 | 603334230303 |
child 67772 | 71a318559e30 |
--- 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 })