# HG changeset patch # User wenzelm # Date 1493492643 -7200 # Node ID 7a26c337e016e42c4a52a637cc1cf6c65221d2c1 # Parent 4c14da234221bc47e3ce611885d33dad5c4bc085 maintain build_log database; diff -r 4c14da234221 -r 7a26c337e016 src/Pure/Admin/isabelle_cronjob.scala --- a/src/Pure/Admin/isabelle_cronjob.scala Sat Apr 29 20:56:28 2017 +0200 +++ b/src/Pure/Admin/isabelle_cronjob.scala Sat Apr 29 21:04:03 2017 +0200 @@ -142,6 +142,19 @@ } + /* maintain build_log database */ + + val database_dirs = + List(Path.explode("~/log"), Path.explode("~/afp/log"), Path.explode("~/cronjob/log")) + + def database_update(options: Options) + { + val store = Build_Log.store(options) + using(store.open_database())(db => + store.write_info(db, Build_Log.Log_File.find_files(database_dirs))) + } + + /** task logging **/ @@ -198,6 +211,7 @@ val log_service: Log_Service, val start_date: Date, val task_name: String) { def ssh_context: SSH.Context = log_service.ssh_context + def options: Options = ssh_context.options def log(date: Date, msg: String): Unit = log_service.log(date, task_name, msg) @@ -285,7 +299,8 @@ Logger_Task("isabelle_cronjob", _ => run_now( SEQ(List(build_release, build_history_base, - PAR(remote_builds.map(seq => SEQ(seq.map(remote_build_history(rev, _)))))))))) + PAR(remote_builds.map(seq => SEQ(seq.map(remote_build_history(rev, _))))), + Logger_Task("build_log_database", logger => database_update(logger.options))))))) log_service.shutdown()