--- a/src/Pure/Build/build_schedule.scala Mon Mar 04 11:05:36 2024 +0100
+++ b/src/Pure/Build/build_schedule.scala Mon Mar 04 11:39:10 2024 +0100
@@ -850,9 +850,7 @@
_build_database match {
case None => body
case Some(db) =>
- val tables =
- Build_Process.private_data.tables.list ::: Build_Schedule.private_data.tables.list
- db.transaction_lock(SQL.Tables.list(tables), label = label) {
+ db.transaction_lock(Build_Schedule.private_data.all_tables, label = label) {
val old_state = Build_Process.private_data.pull_database(db, worker_uuid, _state)
val old_schedule = Build_Schedule.private_data.pull_schedule(db, _schedule)
_state = old_state
@@ -1210,6 +1208,9 @@
}
override val tables = SQL.Tables(Schedules.table, Nodes.table)
+
+ val all_tables: SQL.Tables =
+ SQL.Tables.list(Build_Process.private_data.tables.list ::: tables.list)
}