Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more robust;
authorwenzelm
Wed, 05 Jul 2023 14:33:13 +0200
changeset 78253 12d54a78bc0e
parent 78252 4dca4ba6f01b
child 78254 50a949d316d3
more robust;
src/Pure/General/sql.scala file | annotate | diff | comparison | revisions 
--- 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 */
isabelle