X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2Fconfiguration.ml.in;h=d78e0b36101a9f0e19bd624e5236576714c05aaf;hb=4ef40e8fb4de63f9699268b389f052007bc87f54;hp=df5f61b89099b15aca9a744b7ae2bfb28c050c35;hpb=dd2af791135cedf4e558ff8629ceca044a0d11d3;p=helm.git

diff --git a/helm/interface/configuration.ml.in b/helm/interface/configuration.ml.in
index df5f61b89..d78e0b361 100644
--- a/helm/interface/configuration.ml.in
+++ b/helm/interface/configuration.ml.in
@@ -72,19 +72,8 @@ let _ =
   ((xml_document ())#root#sub_nodes)
 ;;
 
-(* 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
-
 let helm_dir      = Hashtbl.find vars "helm_dir";;
 let dtd_dir       = Hashtbl.find vars "dtd_dir";;
-let style_dir     = read_configuration_var "style_dir" "HELM_STYLE_DIR";;
 let servers_file  = Hashtbl.find vars "servers_file";;
 let uris_dbm      = Hashtbl.find vars "uris_dbm";;
 let dest          = Hashtbl.find vars "dest";;
@@ -92,6 +81,5 @@ let indexname     = Hashtbl.find vars "indexname";;
 let tmpdir        = Hashtbl.find vars "tmpdir";;
 let helm_dir      = Hashtbl.find vars "helm_dir";;
 let getter_url    = Hashtbl.find vars "getter_url";;
-let processor_url = read_configuration_var "processor_url" "HELM_PROCESSOR_URL"
 
 let _ = Hashtbl.clear vars;;