# 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()