From d25dc8b0adb8fa606e8f97185984a623c52819cd Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Fri, 23 Jun 2023 11:41:52 +0200
Subject: fix #7870

---
 src/exchangedb/exchange_do_batch_reserves_update.sql | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/exchangedb/exchange_do_batch_reserves_update.sql')

diff --git a/src/exchangedb/exchange_do_batch_reserves_update.sql b/src/exchangedb/exchange_do_batch_reserves_update.sql
index 82b6b84c..915d9556 100644
--- a/src/exchangedb/exchange_do_batch_reserves_update.sql
+++ b/src/exchangedb/exchange_do_batch_reserves_update.sql
@@ -65,7 +65,9 @@ BEGIN
              ,expiration_date=GREATEST(expiration_date,in_expiration_date)
              ,gc_date=GREATEST(gc_date,in_expiration_date)
    	        WHERE reserve_pub=in_reserve_pub;
-    PERFORM pg_notify(in_notify, NULL);
+    EXECUTE FORMAT (
+      'NOTIFY %s'
+       in_notify);
   ELSE
     out_duplicate = TRUE;
   END IF;
-- 
cgit v1.2.3