From 208414d8939d67857f2a01218f2695f45172f118 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Fri, 30 Aug 2002 17:02:37 +0000 Subject: [PATCH] user name added to tmp file name --- helm/ocaml/getter/clientHTTP.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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 ;; -- 2.39.2