RedMine issue #1874 - The user can set the port from the settings page.