From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 31 Oct 2000 16:32:04 +0000 (+0000)
Subject: HELM_CONFIGURATION_PREFIX now used
X-Git-Tag: nogzip~225
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=dae57ab510b31d1edd21031a3433c3c0d84631de;hp=5360c11c898212444def84597abe8e118ef10b83;p=helm.git

HELM_CONFIGURATION_PREFIX now used
---

diff --git a/helm/interface/http_getter/http_getter.pl b/helm/interface/http_getter/http_getter.pl
index 4ad358480..9ea1641b7 100755
--- a/helm/interface/http_getter/http_getter.pl
+++ b/helm/interface/http_getter/http_getter.pl
@@ -1,9 +1,15 @@
 #!/usr/bin/perl
 
+# First of all, let's load HELM configuration
+use Env;
+my $HELM_CONFIGURATION_PREFIX = $ENV{"HELM_CONFIGURATION_PREFIX"};
+my $HELM_CONFIGURATION_PATH =
+ $HELM_CONFIGURATION_PREFIX."local/lib/helm/configuration.pl";
 # next require defines: $helm_dir, $html_link
-# LUCA - 12 sep 2000
-# require "/usr/lib/helm/configuration.pl";
-require "/home/cadet/sacerdot/local/lib/helm/configuration.pl";
+require $HELM_CONFIGURATION_PATH;
+
+
+
 use HTTP::Daemon;
 use HTTP::Status;
 use HTTP::Request;