Implemented RequestID.url_base, which should be used instead of query("MyWorldLocation") since it handles shared ports and ports with path prefixes correctly. Rev: server/base_server/prototypes.pike:1.23 Rev: server/protocols/http.pike:1.321