# HG changeset patch
# User wenzelm
# Date 1708888388 -3600
# Node ID df4eb4b05ecd3d09c1326bb0c2370ae88d5dc970
# Parent  529a6e35aaa91a1912b174a9ded39b8fb5822601
tuned signature;
tuned output;

diff -r 529a6e35aaa9 -r df4eb4b05ecd src/Pure/General/sql.scala
--- 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 */