Applied fixes for [bug 3640 (#3640)] "Patch for null-pointer dereferences when using default servers". Thanks to <srb@cuci.nl>. Rev: server/protocols/http.pike:1.431