Our Web SSH Terminal always assumes the server uses the default port 22 - allow the user to customize which port Web SSH should use when connecting