]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/registry/helm_registry.ml
added fallback to environment variables when a key is not found neither in
[helm.git] / 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