X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fcgi%2Fuse_webeqp.pl;h=72bfb1fa043d018951ac2eedaf77e12258ebd0d8;hb=4e8b137b58ec6763785b8ee490ee8cd6cb77b5bf;hp=80a375b0bec120d3c146bedfae03fe5fcc1cd132;hpb=1aef3ed7a65337337828a25630b0097f81ae31cb;p=helm.git

diff --git a/helm/cgi/use_webeqp.pl b/helm/cgi/use_webeqp.pl
index 80a375b0b..72bfb1fa0 100755
--- a/helm/cgi/use_webeqp.pl
+++ b/helm/cgi/use_webeqp.pl
@@ -1,7 +1,12 @@
 #!/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;
-require "/local/lib/helm/configuration.pl";
 
 $q = new CGI;
 $uri = $q->param("uri");