]> matita.cs.unibo.it Git - helm.git/commitdiff
mkindex.pl use_webeqp.pl webeq.pl webeqp.pl : helm root from environment
authorLuca Padovani <luca.padovani@unito.it>
Fri, 24 Nov 2000 18:14:46 +0000 (18:14 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Fri, 24 Nov 2000 18:14:46 +0000 (18:14 +0000)
helm/cgi/mkindex.pl
helm/cgi/use_webeqp.pl
helm/cgi/webeq.pl
helm/cgi/webeqp.pl

index 9bc41ef11790d5c8c0e66170f5c3f9c7e8c45e00..61c39d0e46d0b8c89a52dbc45314a30e215381f0 100755 (executable)
@@ -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"};
 
index a63301404d95ea30b0c7cfd85459d566da3bc2ab..72bfb1fa043d018951ac2eedaf77e12258ebd0d8 100755 (executable)
@@ -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;
index f858f7b722af696a37af60af95832abf123b0fe5..4eaacbe72819821d02a925b4ddfdc2c67e7339e9 100755 (executable)
@@ -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;
index e38fe510421202c33212fb297f01c31449431bf9..b4891d32550daa3ffe8f5944ae2b080001adf81d 100755 (executable)
@@ -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;