From 112f3cf726b7eb88e952757a284fdf365c2a3f4d Mon Sep 17 00:00:00 2001 From: mdPlusPlus Date: Wed, 8 Mar 2023 15:32:11 +0100 Subject: [PATCH] Modify $known_servers --- php/fetch-servers.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/php/fetch-servers.php b/php/fetch-servers.php index 56d2693..22560d1 100644 --- a/php/fetch-servers.php +++ b/php/fetch-servers.php @@ -26,7 +26,7 @@ * Ideally this shouldn't be necessary, but it is for now */ $known_servers = array( - "http://116.203.51.179", // (?) KeeJef + // "http://116.203.51.179", // removed by request // "http://13.233.251.36:8081", // found via shodan.io, but now offline "http://164.92.176.135", // found via shodan.io "http://176.119.147.102", // found via shodan.io