]> matita.cs.unibo.it Git - helm.git/commitdiff
added fallback to environment variables when a key is not found neither in
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 2 Feb 2006 16:17:55 +0000 (16:17 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 2 Feb 2006 16:17:55 +0000 (16:17 +0000)
the XML nor in the mangled name
setting something like:
  <key name="foo">$(HOME)</key>
now works as expected

helm/ocaml/registry/helm_registry.ml

index 42316a27f8dd26c977bf55b7c4e8638920177f1f..b7b3de11d6c48eb4c269da61cd0b60cb07e3d36a 100644 (file)
@@ -151,7 +151,10 @@ let get registry key =
     let values = (* resulting value *)
       match registry_values, env_value with
       | _, Some env -> [env]
-      | [], None -> raise (Key_not_found key)
+      | [], None ->
+          (try
+            [ Sys.getenv key ]
+          with Not_found -> raise (Key_not_found key))
       | values, None -> values
     in
     List.map (interpolate (key :: stack)) values