Add 1.17 port number back

Once the server gets turned off the port number should be moved to the deactivated list instead of removed.
2024-02-25 19:27:03 +01:00 · 2024-02-25 19:27:03 +01:00 · 9371562454
commit 9371562454
parent 2eeccd98d8
1 changed files with 1 additions and 0 deletions
--- a/data/tools/wesnoth/campaignserver_client.py
+++ b/data/tools/wesnoth/campaignserver_client.py
@ -28,6 +28,7 @@ class CampaignClient:
    # First port listed will be used as default.
    portmap = (
        ("15018", "1.18.x"),
+        ("15017", "1.17.x"),
        ("15016", "1.16.x"),
        ("15014", "1.14.x"),
        ("15004", "trunk"),