Hi, I'm running a local server (0.22.3), and since the beginning I had to make some changes in the server.properties file, in order to find some place in my crowded local network:
Now I'm a bit confused about what I'm supposed to do after the upgrade to 0.23.1 to keep everything working properly.
In my understanding, I should set everything this way:
http_port=8090 (to continue avoiding collision with the current 8080 port in my local net)
ssl.websocket.port (remove the line from config file)
tcp.websocket.port (remove the line from config file)
Can you please confirm?