Improved behaviour of url_base() when there's a port remapper in the way. Rev: server/protocols/http.pike:1.495