equal
deleted
inserted
replaced
51 |
51 |
52 File.write(logger.log_dir + Build_Log.log_filename("isabelle_identify", logger.start_date), |
52 File.write(logger.log_dir + Build_Log.log_filename("isabelle_identify", logger.start_date), |
53 Build_Log.Identify.content(logger.start_date, Some(get_rev()), Some(get_afp_rev()))) |
53 Build_Log.Identify.content(logger.start_date, Some(get_rev()), Some(get_afp_rev()))) |
54 |
54 |
55 Isabelle_System.bash( |
55 Isabelle_System.bash( |
56 """rsync -a --include="*/" --include="plain_identify*" --exclude="*" """ + |
56 File.bash_path(Component_Rsync.local_program) + |
|
57 """ -a --include="*/" --include="plain_identify*" --exclude="*" """ + |
57 Bash.string(backup + "/log/.") + " " + File.bash_path(main_dir) + "/log/.").check |
58 Bash.string(backup + "/log/.") + " " + File.bash_path(main_dir) + "/log/.").check |
58 |
59 |
59 if (!Isabelle_Devel.cronjob_log.is_file) |
60 if (!Isabelle_Devel.cronjob_log.is_file) |
60 Files.createSymbolicLink(Isabelle_Devel.cronjob_log.java_path, current_log.java_path) |
61 Files.createSymbolicLink(Isabelle_Devel.cronjob_log.java_path, current_log.java_path) |
61 }) |
62 }) |
62 |
63 |
63 val exit: Logger_Task = |
64 val exit: Logger_Task = |
64 Logger_Task("exit", |
65 Logger_Task("exit", |
65 { logger => |
66 { logger => |
66 Isabelle_System.bash( |
67 Isabelle_System.bash( |
67 "rsync -a " + File.bash_path(main_dir) + "/log/." + " " + Bash.string(backup) + "/log/.") |
68 File.bash_path(Component_Rsync.local_program) + |
|
69 " -a " + File.bash_path(main_dir) + "/log/." + " " + Bash.string(backup) + "/log/.") |
68 .check |
70 .check |
69 }) |
71 }) |
70 |
72 |
71 |
73 |
72 /* Mailman archives */ |
74 /* Mailman archives */ |