Preparation for the next commit: This is a pure indentation change. Rev: server/protocols/http.pike:1.548