]> matita.cs.unibo.it Git - helm.git/commitdiff
Don't use configuration.pl any more (does it work anyway?)
authorLuca Padovani <luca.padovani@unito.it>
Mon, 20 Nov 2000 12:11:19 +0000 (12:11 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Mon, 20 Nov 2000 12:11:19 +0000 (12:11 +0000)
use_webeqp.pl webeqp.pl

helm/cgi/use_webeqp.pl
helm/cgi/webeqp.pl

index 80a375b0bec120d3c146bedfae03fe5fcc1cd132..a63301404d95ea30b0c7cfd85459d566da3bc2ab 100755 (executable)
@@ -1,7 +1,6 @@
 #!/usr/bin/perl
 
 require CGI;
-require "/local/lib/helm/configuration.pl";
 
 $q = new CGI;
 $uri = $q->param("uri");
index 50e8cfdfa761b347980e84239b04ffbe751833ec..e38fe510421202c33212fb297f01c31449431bf9 100755 (executable)
@@ -2,7 +2,6 @@
 
 require HTTP::Request;
 require LWP::UserAgent;
-require "/local/lib/helm/configuration.pl";
 use CGI;
 
 $url = $ENV{"REQUEST_URI"};