From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 31 Oct 2000 16:43:47 +0000 (+0000)
Subject: Patch to the hard-coded constant in http_getter.pl
X-Git-Tag: nogzip~223
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=d5b03d93d8b9f579ca165502de9017795453d2f5

Patch to the hard-coded constant in http_getter.pl
---

diff --git a/helm/interface/http_getter/http_getter.pl b/helm/interface/http_getter/http_getter.pl
index 9ea1641b7..650a16a3b 100755
--- a/helm/interface/http_getter/http_getter.pl
+++ b/helm/interface/http_getter/http_getter.pl
@@ -4,7 +4,7 @@
 use Env;
 my $HELM_CONFIGURATION_PREFIX = $ENV{"HELM_CONFIGURATION_PREFIX"};
 my $HELM_CONFIGURATION_PATH =
- $HELM_CONFIGURATION_PREFIX."local/lib/helm/configuration.pl";
+ $HELM_CONFIGURATION_PREFIX."/local/lib/helm/configuration.pl";
 # next require defines: $helm_dir, $html_link
 require $HELM_CONFIGURATION_PATH;