let respond_xml
?(via_http = true) ?(enc = `Normal) ?(patch = true) ~url ~uri outchan
=
- let local_resource = Http_getter_misc.is_local_url url in
+ let local_part = Http_getter_misc.local_url url in
+ let local_resource = local_part <> None in
let resource_type = resource_type_of_url url in
let extension = extension_of_resource_type resource_type in
let downloadname =
let tmp_short_circuit = fill_cache () in
threadSafe#doReader (lazy(
assert (local_resource || is_in_cache basename);
+ let basename = match local_part with Some f -> f | None -> basename in
let resource_type =
if local_resource then
resource_type