wsgidav.request_server.RequestServer.do_HEAD# RequestServer.do_HEAD(environ, start_response)[source]#