X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2Fhttp_getter%2Fhttp_getter.pl;h=d534e90b262b87b1ce5926eff20aeca66597f71a;hb=fb5c071e27383cfed37dca2b2d7df36eeacb9e02;hp=ce25c093f495744ca78fe4b21e05e1e24d8e922e;hpb=a8f8e8c144974743f48587b91ba3fa5f4b7efd39;p=helm.git

diff --git a/helm/interface/http_getter/http_getter.pl b/helm/interface/http_getter/http_getter.pl
index ce25c093f..d534e90b2 100755
--- a/helm/interface/http_getter/http_getter.pl
+++ b/helm/interface/http_getter/http_getter.pl
@@ -18,9 +18,10 @@ use DB_File;
 
 my $cont = "";
 my $d = new HTTP::Daemon LocalPort => 8081;
-tie(%map, 'DB_File', 'urls_of_uris.db', O_RDONLY, 0664);
+tie(%map, 'DB_File', $uris_dbm.".db", O_RDONLY, 0664);
 print "Please contact me at: <URL:", $d->url, ">\n";
 print "helm_dir: $helm_dir\n";
+print "urls_of_uris.db: $uris_dbm.db\n";
 $SIG{CHLD} = "IGNORE"; # do not accumulate defunct processes
 while (my $c = $d->accept) {
  if (fork() == 0) {