X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2Fhttp_getter_cache.ml;h=62a009c0f954e5cc0ae5f1c8a2b58bdb604f6cf9;hb=7e9904185ceff75884783dbf0bad506b8521b857;hp=2802f9926fc847637985450bcd812c20e1df106b;hpb=d753d75c2270721e58940ba1c347d6371a993683;p=helm.git

diff --git a/helm/ocaml/getter/http_getter_cache.ml b/helm/ocaml/getter/http_getter_cache.ml
index 2802f9926..62a009c0f 100644
--- a/helm/ocaml/getter/http_getter_cache.ml
+++ b/helm/ocaml/getter/http_getter_cache.ml
@@ -76,7 +76,8 @@ let is_in_cache basename =
 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 =
@@ -167,6 +168,7 @@ let respond_xml
   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