diff -r 45632d594bdb -r 3722be87305c src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Tue May 02 11:05:04 2017 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Tue May 02 14:27:59 2017 +0200
@@ -148,14 +148,8 @@
   def database_update(options: Options)
   {
     val store = Build_Log.store(options)
-    val files = Build_Log.Log_File.find_files(database_dirs)
-
-    // PostgreSQL server
     using(store.open_database())(db =>
-      {
-        store.write_info(db, files, ml_statistics = true)
-        Build_Log.create_full_view(db)
-      })
+      Build_Log.database_update(store, db, database_dirs, ml_statistics = true, full_view = true))
   }