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.
tuned signature;
authorwenzelm
Sun, 25 Feb 2024 20:13:08 +0100
changeset 79728 df4eb4b05ecd
parent 79727 529a6e35aaa9
child 79729 bf377e10ff3b
tuned signature; tuned output;
src/Pure/General/sql.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/sql.scala	Sun Feb 25 18:47:14 2024 +0100
+++ b/src/Pure/General/sql.scala	Sun Feb 25 20:13:08 2024 +0100
@@ -385,7 +385,10 @@
 
   /* notifications: IPC via database server */
 
-  sealed case class Notification(channel: String, payload: String)
+  sealed case class Notification(channel: String, payload: String = "") {
+    override def toString =
+      "Notification(" + channel + if_proper(payload, "," + payload) + ")"
+  }
 
 
   /* database */
isabelle