X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2Fconfiguration.ml.in;h=d20a3c0c0e0cf872dcb42de6cd4ccdbacad15803;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=b9358d8ff645283e98b2948150df28999d22d31b;hpb=952ad2bf8ea4bea5999570f0f592f84bf30acd3f;p=helm.git

diff --git a/helm/interface/configuration.ml.in b/helm/interface/configuration.ml.in
index b9358d8ff..d20a3c0c0 100644
--- a/helm/interface/configuration.ml.in
+++ b/helm/interface/configuration.ml.in
@@ -103,15 +103,15 @@ let read_configuration_var xml_name =
 
 let helm_dir      = read_configuration_var     "helm_dir";;
 let dtd_dir       = read_configuration_var     "dtd_dir";;
-let style_dir     = read_configuration_var_env "style_dir" "HELM_STYLE_DIR"
+let style_dir     = read_configuration_var_env "style_dir" "HELM_STYLE_DIR";;
 let servers_file  = read_configuration_var     "servers_file";;
 let uris_dbm      = read_configuration_var     "uris_dbm";;
 let dest          = read_configuration_var     "dest";;
 let indexname     = read_configuration_var     "indexname";;
 let tmp_dir       = read_configuration_var     "tmp_dir"
 let helm_dir      = read_configuration_var     "helm_dir";;
-let getter_url    = read_configuration_var     "getter_url";;
-let processor_url = read_configuration_var_env "processor_url" "HELM_PROCESSOR_URL"
+let getter_url    = read_configuration_var_env "getter_url" "HELM_GETTER_URL";;
+let processor_url = read_configuration_var_env "processor_url" "HELM_PROCESSOR_URL";;
 
 let _ = Hashtbl.clear vars;;