X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhttp_getter.pl.in;h=f3484d68845d38099360016ebb4e29aec508b74b;hb=b19b18cf88d7cacc8adc438ed014bcfe95fa51fa;hp=4fcc30ba324b102aafe6fd9f9496003bbf68ea16;hpb=47ed689d3cb6aace3fffd51f3d6b9c5d247508da;p=helm.git

diff --git a/helm/http_getter/http_getter.pl.in b/helm/http_getter/http_getter.pl.in
index 4fcc30ba3..f3484d688 100755
--- a/helm/http_getter/http_getter.pl.in
+++ b/helm/http_getter/http_getter.pl.in
@@ -65,6 +65,8 @@ my $rdf_indexname = $ENV{'HTTP_GETTER_RDF_INDEXNAME'} ||
   "rdf_index.txt";
 my $xslt_indexname = $ENV{'HTTP_GETTER_XSLT_INDEXNAME'} ||
   "xslt_index.txt";
+$servers_file = $ENV{'HTTP_GETTER_SERVERS_FILE'} || $servers_file;
+$uris_dbm = $ENV{'HTTP_GETTER_URIS_DBM'} || $uris_dbm;
   
 # </move_to_conf_file>
 
@@ -106,6 +108,7 @@ print "\n";
 print "HTTP Getter $VERSION\n"; # print hello information
 print "Please contact me at: <URL:", $myownurl."/", ">\n";
 print "\n";
+print "servers_file: $servers_file\n";
 print "helm_dir: $helm_dir\n";
 print "helm_rdf_dir: $helm_rdf_dir\n";
 print "style_dir: $style_dir\n";