If push url specifies a port, use it.