From: Luca Padovani <luca.padovani@unito.it>
Date: Fri, 24 Nov 2000 18:14:46 +0000 (+0000)
Subject: mkindex.pl use_webeqp.pl webeq.pl webeqp.pl : helm root from environment
X-Git-Tag: nogzip~140
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4f5659f8a8c64c3a759c773d0bea1c7fdac3e116;p=helm.git

mkindex.pl use_webeqp.pl webeq.pl webeqp.pl : helm root from environment
---

diff --git a/helm/cgi/mkindex.pl b/helm/cgi/mkindex.pl
index 9bc41ef11..61c39d0e4 100755
--- a/helm/cgi/mkindex.pl
+++ b/helm/cgi/mkindex.pl
@@ -1,8 +1,10 @@
 #!/usr/bin/perl
 
-# the required file defines: $helm_dir, $helm_url_path, $getheader_url,
-#                            $style_url, $webeq_url, $webeqp_url
-require "/local/lib/helm/configuration.pl";
+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, $dtd_dir, $uris_dbm
+ require $HELM_CONFIGURATION_PATH;
 
 $baseuri0 = $dirname = $uri = $ENV{"REQUEST_URI"};
 
diff --git a/helm/cgi/use_webeqp.pl b/helm/cgi/use_webeqp.pl
index a63301404..72bfb1fa0 100755
--- a/helm/cgi/use_webeqp.pl
+++ b/helm/cgi/use_webeqp.pl
@@ -1,5 +1,11 @@
 #!/usr/bin/perl
 
+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, $dtd_dir, $uris_dbm
+ require $HELM_CONFIGURATION_PATH;
+
 require CGI;
 
 $q = new CGI;
diff --git a/helm/cgi/webeq.pl b/helm/cgi/webeq.pl
index f858f7b72..4eaacbe72 100755
--- a/helm/cgi/webeq.pl
+++ b/helm/cgi/webeq.pl
@@ -1,5 +1,11 @@
 #!/usr/bin/perl
 
+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, $dtd_dir, $uris_dbm
+ require $HELM_CONFIGURATION_PATH;
+
 require HTTP::Request;
 require LWP::UserAgent;
 use CGI;
diff --git a/helm/cgi/webeqp.pl b/helm/cgi/webeqp.pl
index e38fe5104..b4891d325 100755
--- a/helm/cgi/webeqp.pl
+++ b/helm/cgi/webeqp.pl
@@ -1,5 +1,11 @@
 #!/usr/bin/perl
 
+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, $dtd_dir, $uris_dbm
+ require $HELM_CONFIGURATION_PATH;
+
 require HTTP::Request;
 require LWP::UserAgent;
 use CGI;