Amended the previous commit. disconnect() must be called from the backend thread, and don't let an error in it clobber the internal server error logging. Rev: server/protocols/http.pike:1.635