# HG changeset patch
# User wenzelm
# Date 1493849711 -7200
# Node ID 353b965378cf301ac96065236ac4bb62dc90e4f4
# Parent  595bc96005f9abd31707d26050fd31f6b06a0e41
produce build_log_snapshot, based on small prefix into pull_date history;

diff -r 595bc96005f9 -r 353b965378cf src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Wed May 03 23:55:05 2017 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Thu May 04 00:15:11 2017 +0200
@@ -30,6 +30,8 @@
 
   val release_snapshot = Path.explode("~/html-data/release_snapshot")
 
+  val build_log_snapshot = Path.explode("~/html-data/build_log.db")
+
   val jenkins_jobs = List("isabelle-nightly-benchmark", "identify")
 
 
@@ -149,7 +151,10 @@
   {
     val store = Build_Log.store(options)
     using(store.open_database())(db =>
-      store.update_database(db, database_dirs, ml_statistics = true))
+    {
+      store.update_database(db, database_dirs, ml_statistics = true)
+      store.snapshot(db, build_log_snapshot)
+    })
   }