]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/cgi/webeqp.pl
added LICENSE
[helm.git] / helm / cgi / webeqp.pl
index 50e8cfdfa761b347980e84239b04ffbe751833ec..b4891d32550daa3ffe8f5944ae2b080001adf81d 100755 (executable)
@@ -1,8 +1,13 @@
 #!/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;
-require "/local/lib/helm/configuration.pl";
 use CGI;
 
 $url = $ENV{"REQUEST_URI"};