Fixed the port path optimization (and simplified it a bit too). Rev: server/base_server/roxen.pike:1.535 Rev: server/protocols/http.pike:1.255