Added a way to change the server port from the main menu.