X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2FclientHTTP.ml;h=7d57c0b575ef3669ac260a707311defb257f2156;hb=d06896935901d5a886288bcb3cd535d4ea5a65be;hp=4d5488c00de0766a2382d9489548c7e70b94a1ee;hpb=5a92117eeff70048d29e91ba24e113155d956e1b;p=helm.git

diff --git a/helm/ocaml/getter/clientHTTP.ml b/helm/ocaml/getter/clientHTTP.ml
index 4d5488c00..7d57c0b57 100644
--- a/helm/ocaml/getter/clientHTTP.ml
+++ b/helm/ocaml/getter/clientHTTP.ml
@@ -54,7 +54,9 @@ let get_and_save_to_tmp uri =
    done ;
    cs
  in
-  let tmp_file = Configuration.tmp_dir ^ "/" ^ (flat_string uri ".-=:;!?/&" '_') in
+  let user = try Sys.getenv "USER" ^ "_" with Not_found -> "" in 
+     (* FG: Unix.getlogin () should be used instead of the above *)
+  let tmp_file = Configuration.tmp_dir ^ "/" ^ user ^ (flat_string uri ".-=:;!?/&" '_') in
   get_and_save uri tmp_file ;
   tmp_file
 ;;