class type webdav_call_t =object..end
Http_client.http_callmethod response_webdav_status : Webdav_http.webdav_statusmethod call_status : call_statusmethod multistatus : response_t listcall_status is `Multi_status, this list contains
for every URL the requested datamethod query_path : stringmethod effective_query_path : stringmethod paths : string listcall_status is not `Multi_status.method good_paths : string listpaths for which the response is considered as
successful. The exeact criterion depends on the type of call.
For multistatus responses good_paths <> [] means that there
was success for at least one path.
method bad_paths : string listpaths for which the response is considered as
erroneous. The exeact criterion depends on the type of call.
For multistatus responses bad_paths = [] means that all paths
could be processed successfully.
method fully_successful : boolcall_status = `Successful || (call_status = `Multi_status && bad_paths = [])method response_of_path : string -> response_tNot_found if
nothing is known about the path (or no multistatus response was
available).
In a PROPFIND response the status is per property, not per path.
So (response_of_path p) # status is always `Ok. The only
property that can always be retrieved is resourcetype, so to find
out whether a path is generally accessible one should ask for
that property, and check whether prop_resourcetype_is_collection
is Some true (for collections) or Some false (for non-collections).
A value of None means that there is an error with the path.
For other query types the status is per path.
When the client had to follow redirections, only information about
the redirected path is available. Use effective_query_path to
determine this path.
method responsedescription : stringmethod status_report : string