--- a/src/Pure/Admin/build_log.scala Tue May 02 21:42:03 2017 +0200
+++ b/src/Pure/Admin/build_log.scala Tue May 02 21:57:32 2017 +0200
@@ -897,23 +897,17 @@
/* full view on build_log data */
// WARNING: This may cause performance problems, e.g. with sqlitebrowser
-
val full_view: SQL.View =
SQL.View("isabelle_build_log",
Meta_Info.table.columns :::
- Build_Info.sessions_table.columns.tail.map(_.copy(primary_key = false)))
-
- def create_full_view(db: SQL.Database)
- {
- if (!db.tables.contains(full_view.name)) {
- val table1 = Meta_Info.table
- val table2 = Build_Info.sessions_table
- db.create_view(full_view,
+ Build_Info.sessions_table.columns.tail.map(_.copy(primary_key = false)),
+ {
+ val table1 = Meta_Info.table
+ val table2 = Build_Info.sessions_table
SQL.select(Meta_Info.log_name(table1) :: full_view.columns.tail) +
SQL.join(table1, table2,
- Meta_Info.log_name(table1).sql + " = " + Meta_Info.log_name(table2).sql))
- }
- }
+ Meta_Info.log_name(table1).sql + " = " + Meta_Info.log_name(table2).sql)
+ })
/* main operations */
@@ -923,7 +917,7 @@
{
val files = Log_File.find_files(dirs)
store.write_info(db, files, ml_statistics = ml_statistics)
- if (full_view) create_full_view(db)
+ if (full_view) db.create_view(Database.full_view)
}
}
}