From 1e05a74e958669406a369c7f7cbb3cd2330e5aef Mon Sep 17 00:00:00 2001
From: gravel <gravel@noreply.codeberg.org>
Date: Tue, 6 Jun 2023 10:50:45 +0000
Subject: [PATCH] Log error before crash on missing known pubkey

---
 php/servers/servers-rooms.php | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/php/servers/servers-rooms.php b/php/servers/servers-rooms.php
index 26ce46f7..7f2e5268 100644
--- a/php/servers/servers-rooms.php
+++ b/php/servers/servers-rooms.php
@@ -678,6 +678,11 @@
 
 				$hostname = url_get_base($base_url, false);
 
+				if (!isset($pubkeys[$hostname])) {
+					log_error("Known server $hostname has no known pubkey.");
+					throw new Error("Known server $hostname has no known pubkey");
+				}
+
 				$server->pubkey = $pubkeys[$hostname];
 
 				$servers[] = $server;