From 33f06f13e85eb4bcd67a76e1ffd33b1afa0b21ae Mon Sep 17 00:00:00 2001 From: gravel Date: Fri, 17 Mar 2023 21:06:11 +0100 Subject: [PATCH] Fix whitespace & typo --- php/servers/known-servers.php | 2 +- php/utils/servers-rooms.php | 40 +++++++++++++++++------------------ 2 files changed, 21 insertions(+), 21 deletions(-) diff --git a/php/servers/known-servers.php b/php/servers/known-servers.php index 82c32c7..a8341f4 100644 --- a/php/servers/known-servers.php +++ b/php/servers/known-servers.php @@ -20,7 +20,7 @@ // Kee's server "http://116.203.51.179", - // Serse with shodan.io: + // Found with shodan.io: // "http://13.233.251.36:8081" "http://164.92.176.135", diff --git a/php/utils/servers-rooms.php b/php/utils/servers-rooms.php index 1841bd0..2bad881 100644 --- a/php/utils/servers-rooms.php +++ b/php/utils/servers-rooms.php @@ -1,8 +1,8 @@ rooms; - } - return array_merge([], ...$rooms); - } + } + + /** + * @param CommunityServer[] $servers + * @return CommunityRoom[] + */ + static function enumerate_rooms($servers) { + $rooms = []; + foreach ($servers as $server) { + $rooms[] = $server->rooms; + } + return array_merge([], ...$rooms); + } /** * Polls all servers for rooms.