Define an extractor for all of a request's parameters

[jwodder]

• Define the following type:

  enum DavRequest {
      Get {path: DavPath, pathparts: Vec<Components>},
      Propfind {path: DavPath, depth: FiniteDepth, query: PropFind},
      Options,
  }

• impl FromRequest<S> for DavRequest

• Use this to replace the content of inner_handle_request() with a single match on a req.extract::<DavRequest, _>() call

  • If possible/reasonable, move all of inner_handle_request() into handle_request()