-(* try to read a configuration variable, given its name into the
- * configuration.xml file and its name into the shell environment.
- * The shell variable, if present, has precedence over configuration.xml
- *)
-let read_configuration_var xml_name env_name =
- try
- Sys.getenv env_name
- with
- Not_found -> Hashtbl.find vars xml_name
-