src/Pure/Admin/build_log.scala

         user = user, password = password, database = database, host = host, port = port,
         ssh =
           if (ssh_host == "") None
           else Some(SSH.open_session(options, host = ssh_host, user = ssh_user, port = ssh_port)),
         ssh_close = true)
-    }
-
-    def update_database(
-      db: PostgreSQL.Database, dirs: List[Path], ml_statistics: Boolean = false): Unit = {
-      val log_files =
-        dirs.flatMap(dir =>
-          File.find_files(dir.file, pred = Log_File.is_log(_), follow_links = true))
-      write_info(db, log_files, ml_statistics = ml_statistics)
-
-      db.create_view(Data.pull_date_table())
-      db.create_view(Data.pull_date_table(afp = true))
-      db.create_view(Data.universal_table)
     }
 
     def snapshot_database(
       db: PostgreSQL.Database,
       sqlite_database: Path,

             files.filter(file => status.exists(_.required(file))).
               grouped(options.int("build_log_transaction_size") max 1)) {
         val log_files = Par_List.map[JFile, Log_File](Log_File.apply, file_group)
         db.transaction { log_files.foreach(log_file => status.foreach(_.update(log_file))) }
       }
+
+      db.create_view(Data.pull_date_table())
+      db.create_view(Data.pull_date_table(afp = true))
+      db.create_view(Data.universal_table)
     }
 
     def read_meta_info(db: SQL.Database, log_name: String): Option[Meta_Info] = {
       val table = Data.meta_info_table
       val columns = table.columns.tail

 
   def build_log_database(options: Options, log_dirs: List[Path],
     snapshot: Option[Path] = None
   ): Unit = {
     val store = Build_Log.store(options)
+
+    val log_files =
+      log_dirs.flatMap(dir =>
+        File.find_files(dir.file, pred = Log_File.is_log(_), follow_links = true))
+
     using(store.open_database()) { db =>
       db.vacuum()
-      store.update_database(db, log_dirs)
-      store.update_database(db, log_dirs, ml_statistics = true)
+      store.write_info(db, log_files)
+      store.write_info(db, log_files, ml_statistics = true)
       snapshot.foreach(store.snapshot_database(db, _))
     }
   }
 }