mirror of
https://gitlab.com/crafty-controller/crafty-4.git
synced 2025-01-19 09:45:28 +01:00
eb39577cc7
Fix port not changing for crafty db - only server.properties on server creation.