Bug fix #118: Display server port