# HG changeset patch
# User wenzelm
# Date 1493638767 -7200
# Node ID f1c70c7fea122680c79793da42aadd0eaf5ce5f1
# Parent  45d0692bb019896d4044ef21ece0ce359cf73ab2
slightly more compact file;

diff -r 45d0692bb019 -r f1c70c7fea12 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Mon May 01 13:03:56 2017 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Mon May 01 13:39:27 2017 +0200
@@ -156,7 +156,11 @@
     val store = Build_Log.store(options)
     val files = Build_Log.Log_File.find_files(database_dirs)
     using(store.open_database())(db => store.write_info(db, files, ml_statistics = true))
-    using(SQLite.open_database(build_log_snapshot))(db => store.write_info(db, files))
+    using(SQLite.open_database(build_log_snapshot))(db =>
+      {
+        store.write_info(db, files)
+        db.rebuild
+      })
   }