Minor fix. Rev: server/base_server/http.pike:1.11 Rev: server/protocols/http.pike:1.35 Rev: server/protocols/ssl3.pike:1.14