From 1c303415e2461310285ead04008ff04bcdbc2c19 Mon Sep 17 00:00:00 2001 From: Nikos Kastellanos Date: Sat, 15 Nov 2025 12:37:31 +0200 Subject: [PATCH] update public servers List this changed the server list from - the now dead - "http://apps.keithholman.net/plain" to "https://AristurtleDev.github.io/Infiniminer/serversV1.txt" --- .../Infiniminer/Infiniminer.Client.Shared/InfiniminerGame.cs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/source/Infiniminer/Infiniminer.Client.Shared/InfiniminerGame.cs b/source/Infiniminer/Infiniminer.Client.Shared/InfiniminerGame.cs index 80cbf7d..0729088 100644 --- a/source/Infiniminer/Infiniminer.Client.Shared/InfiniminerGame.cs +++ b/source/Infiniminer/Infiniminer.Client.Shared/InfiniminerGame.cs @@ -103,7 +103,9 @@ public List EnumerateServers(float discoveryTime) // Discover remote servers. try { - string publicList = HttpRequest.Get("http://apps.keithholman.net/plain", null); + // 'serversV1.txt' format: + // name;IPaddress;INFINIMINER;numPlayers;maxPlayers;extra + string publicList = HttpRequest.Get("https://AristurtleDev.github.io/Infiniminer/serversV1.txt", null); foreach (string s in publicList.Split("\r\n".ToCharArray())) { string[] args = s.Split(";".ToCharArray());