X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2Fhttp_getter_misc.ml;h=85b87cb93438c1c097076bd1bf602c1fb3db8f27;hb=e9e3089b886e88a07267743cae79d6a9cabdd3c3;hp=0430c1b48d3cf96856499f9e3fe418c801cc022a;hpb=a83e0e4b2cf4d0cd378b5f2f451aa857507e0a01;p=helm.git

diff --git a/helm/ocaml/getter/http_getter_misc.ml b/helm/ocaml/getter/http_getter_misc.ml
index 0430c1b48..85b87cb93 100644
--- a/helm/ocaml/getter/http_getter_misc.ml
+++ b/helm/ocaml/getter/http_getter_misc.ml
@@ -294,3 +294,14 @@ let extension s =
     String.sub s idx (String.length s - idx)
   with Not_found -> ""
 
+let temp_file_of_uri uri =
+  let flat_string s s' c =
+    let cs = String.copy s in
+    for i = 0 to (String.length s) - 1 do
+      if String.contains s' s.[i] then cs.[i] <- c
+    done;
+    cs
+  in
+  let user = try Unix.getlogin () with _ -> "" in
+  Filename.open_temp_file (user ^ flat_string uri ".-=:;!?/&" '_') ""
+