From dc79c514be403cff93a1165b47d456182a03fd05 Mon Sep 17 00:00:00 2001
From: Michael Vetter <jubalh@iodoru.org>
Date: Wed, 30 Jun 2021 13:58:28 +0200
Subject: [PATCH] Fix /disco info contact address header

Only display server contact information heading when we have actual
addresses.
---
 src/ui/console.c | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/src/ui/console.c b/src/ui/console.c
index a99769b1..4cb041a8 100644
--- a/src/ui/console.c
+++ b/src/ui/console.c
@@ -851,10 +851,12 @@ static void _cons_print_contact_information_hashlist_item(gpointer key, gpointer
 void
 cons_show_disco_contact_information(GHashTable* addresses)
 {
-    cons_show("");
-    cons_show("Server contact information:");
+    if (addresses && g_hash_table_size(addresses) > 0) {
+        cons_show("");
+        cons_show("Server contact information:");
 
-    g_hash_table_foreach(addresses, _cons_print_contact_information_hashlist_item, NULL);
+        g_hash_table_foreach(addresses, _cons_print_contact_information_hashlist_item, NULL);
+    }
 }
 
 void