# HG changeset patch
# User wenzelm
# Date 1709921919 -3600
# Node ID 56f506c556f160405b3b0ab44f2f68471ce10801
# Parent  2da08d9ce629af1ed93b40b15428b4ff68a58e84
remove unused/fragile option (amending db37cae970a6) --- universal_table requires pull_date tables;

diff -r 2da08d9ce629 -r 56f506c556f1 src/Pure/Admin/build_log.scala
--- a/src/Pure/Admin/build_log.scala	Fri Mar 08 19:04:18 2024 +0100
+++ b/src/Pure/Admin/build_log.scala	Fri Mar 08 19:18:39 2024 +0100
@@ -1037,7 +1037,7 @@
         ssh_port = options.int("build_log_ssh_port"),
         ssh_user = options.string("build_log_ssh_user"))
 
-    def init_database(db: SQL.Database, minimal: Boolean = false): Unit =
+    def init_database(db: SQL.Database): Unit =
       db.transaction {
         val upgrade_table = private_data.sessions_table
         val upgrade_column = Column.session_start
@@ -1058,11 +1058,8 @@
           db.execute_statement("DROP VIEW IF EXISTS " + private_data.universal_table)
         }
 
-        if (!minimal) {
-          db.create_view(private_data.pull_date_table())
-          db.create_view(private_data.pull_date_table(afp = true))
-        }
-
+        db.create_view(private_data.pull_date_table())
+        db.create_view(private_data.pull_date_table(afp = true))
         db.create_view(private_data.universal_table)
       }