Fixed bug when depth header not present in RFC 2518 request. Rev: server/base_server/configuration.pike:1.537