From 9da16ebf1736b345ef6f3c4d9e0c107ed049ba4e Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 23 May 2007 14:07:24 +0000 Subject: [PATCH] changed the way environment variable can interfere with the registry. --- helm/software/components/registry/helm_registry.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/components/registry/helm_registry.ml b/helm/software/components/registry/helm_registry.ml index 3753232b6..64277415f 100644 --- a/helm/software/components/registry/helm_registry.ml +++ b/helm/software/components/registry/helm_registry.ml @@ -133,7 +133,7 @@ let set' ?(replace=false) registry ~key ~value = let unset registry = Hashtbl.remove registry -let env_var_of_key = Str.global_replace dot_rex "__" +let env_var_of_key s = String.uppercase (Str.global_replace dot_rex "_" s) let singleton = function | [] -> -- 2.39.2