@ -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;