Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/General/sql.scala
changeset 77543 97b5547f2b17
parent 77542 2da5562114c5
child 77552 080422b3d914 
--- a/src/Pure/General/sql.scala	Mon Mar 06 15:48:04 2023 +0100
+++ b/src/Pure/General/sql.scala	Mon Mar 06 15:56:28 2023 +0100
@@ -549,8 +549,7 @@
       execute_statement("UNLISTEN " + (if (name == "*") name else SQL.ident(name)))
 
     def notify(name: String, payload: String = ""): Unit =
-      execute_statement(
-        "NOTIFY " + SQL.ident(name) + if_proper(payload, ", " + SQL.string(payload)))
+      execute_statement("NOTIFY " + SQL.ident(name) + if_proper(payload, ", " + SQL.string(payload)))
 
     def get_notifications(): List[PGNotification] =
       the_postgresql_connection.getNotifications() match {
isabelle