mirror of
https://gitlab.com/crafty-controller/crafty-4.git
synced 2025-01-19 09:45:28 +01:00
c3be92f1e8
Removed extraneous variable definition for defined_servers, which caused all servers to appear in menu when creating a new server regardless of role