]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/http_getter/http_getter.pl
Much more modularity and some buf fixed in http_getter.pl
[helm.git] / helm / interface / http_getter / http_getter.pl
index cfe9a79ad736e79fb6b770d32c998a25cadebf2f..d534e90b262b87b1ce5926eff20aeca66597f71a 100755 (executable)
@@ -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) {
@@ -292,7 +293,6 @@ sub mkdirs
  my $tmp;
  foreach $dir (@dirs) {
   $tmp = ((defined($tmp)) ?  $tmp = $tmp."\/".$dir : "");
-  print $tmp."\n";
   mkdir($tmp,0777);
  }
  rmdir($tmp);