X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fcgi%2Fwebeq.pl;h=4eaacbe72819821d02a925b4ddfdc2c67e7339e9;hb=32ca7ef634a861ddca8e63491d8fada852d6cabf;hp=f858f7b722af696a37af60af95832abf123b0fe5;hpb=1aef3ed7a65337337828a25630b0097f81ae31cb;p=helm.git

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;