From: Luca Padovani <luca.padovani@unito.it>
Date: Mon, 20 Nov 2000 12:11:19 +0000 (+0000)
Subject: Don't use configuration.pl any more (does it work anyway?)
X-Git-Tag: nogzip~153
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4b5873b80dafe4b009ba71cbe6f4a95e8b59dcaf;p=helm.git

Don't use configuration.pl any more (does it work anyway?)
use_webeqp.pl webeqp.pl
---

diff --git a/helm/cgi/use_webeqp.pl b/helm/cgi/use_webeqp.pl
index 80a375b0b..a63301404 100755
--- a/helm/cgi/use_webeqp.pl
+++ b/helm/cgi/use_webeqp.pl
@@ -1,7 +1,6 @@
 #!/usr/bin/perl
 
 require CGI;
-require "/local/lib/helm/configuration.pl";
 
 $q = new CGI;
 $uri = $q->param("uri");
diff --git a/helm/cgi/webeqp.pl b/helm/cgi/webeqp.pl
index 50e8cfdfa..e38fe5104 100755
--- a/helm/cgi/webeqp.pl
+++ b/helm/cgi/webeqp.pl
@@ -2,7 +2,6 @@
 
 require HTTP::Request;
 require LWP::UserAgent;
-require "/local/lib/helm/configuration.pl";
 use CGI;
 
 $url = $ENV{"REQUEST_URI"};