--- 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
+ })
}