equal
deleted
inserted
replaced
32 val mailman_archives_dir = Path.explode("~/cronjob/Mailman") |
32 val mailman_archives_dir = Path.explode("~/cronjob/Mailman") |
33 |
33 |
34 val build_log_dirs = |
34 val build_log_dirs = |
35 List(Path.explode("~/log"), Path.explode("~/afp/log"), Path.explode("~/cronjob/log")) |
35 List(Path.explode("~/log"), Path.explode("~/afp/log"), Path.explode("~/cronjob/log")) |
36 |
36 |
37 val isabelle_devel: Path = Path.explode("~/html-data/devel") |
37 val isabelle_devel: Path = Path.explode("/data/isatest/html-data/devel") |
|
38 val public_log: Path = Path.explode("/data/isatest/cronjob/run/main.log") // owned by log service |
38 |
39 |
39 |
40 |
40 |
41 |
41 /** logger tasks **/ |
42 /** logger tasks **/ |
42 |
43 |
69 """ -a --include="*/" --include="plain_identify*" --exclude="*" """ + |
70 """ -a --include="*/" --include="plain_identify*" --exclude="*" """ + |
70 Bash.string(backup + "/log/.") + " " + File.bash_path(main_dir) + "/log/.").check |
71 Bash.string(backup + "/log/.") + " " + File.bash_path(main_dir) + "/log/.").check |
71 |
72 |
72 val cronjob_log = isabelle_devel + Path.basic("cronjob-main.log") |
73 val cronjob_log = isabelle_devel + Path.basic("cronjob-main.log") |
73 if (!cronjob_log.is_file) { |
74 if (!cronjob_log.is_file) { |
74 Files.createSymbolicLink(cronjob_log.java_path, current_log.java_path) |
75 Files.createSymbolicLink(cronjob_log.java_path, public_log.java_path) |
75 } |
76 } |
76 }) |
77 }) |
77 |
78 |
78 val exit: Logger_Task = |
79 val exit: Logger_Task = |
79 Logger_Task("exit", |
80 Logger_Task("exit", |