changeset 78253 | 12d54a78bc0e |
parent 78207 | 8e1941d3f703 |
child 78263 | 8c999990262c |
--- a/src/Pure/General/sql.scala Wed Jul 05 13:41:45 2023 +0200 +++ b/src/Pure/General/sql.scala Wed Jul 05 14:33:13 2023 +0200 @@ -642,7 +642,7 @@ // see https://www.postgresql.org/docs/current/explicit-locking.html override def lock_tables(tables: List[SQL.Table]): PostgreSQL.Source = - "LOCK TABLE " + tables.mkString(", ") + " IN ACCESS EXCLUSIVE MODE" + if_proper(tables, "LOCK TABLE " + tables.mkString(", ") + " IN ACCESS EXCLUSIVE MODE") /* notifications: IPC via database server */