mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-03 19:58:11 +00:00

Once the server gets turned off the port number should be moved to the deactivated list instead of removed.
Once the server gets turned off the port number should be moved to the deactivated list instead of removed.