Fix displaying wrong port number when launching the server