From: Luca Padovani 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;