From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Sat, 17 Feb 2001 21:03:06 +0000 (+0000)
Subject: helm_wget subroutine now use LWP module and doesn't use any more external
X-Git-Tag: v0_1_2~110
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f528cf34b242df22fcb555677eb3a3c9c712fef6;p=helm.git

helm_wget subroutine now use LWP module and doesn't use any more external
wget program
---

diff --git a/helm/http_getter/http_getter.pl.in b/helm/http_getter/http_getter.pl.in
index 85ed00a55..22fad1a3e 100755
--- a/helm/http_getter/http_getter.pl.in
+++ b/helm/http_getter/http_getter.pl.in
@@ -409,9 +409,9 @@ sub download
   }
  } else { # download file from net
     print "Downloading the $str file\n"; # download file
-    $ua = LWP::UserAgent->new;
-    $request = HTTP::Request->new(GET => "$url");
-    $response = $ua->request($request, \&callback);
+    my $ua = LWP::UserAgent->new;
+    my $request = HTTP::Request->new(GET => "$url");
+    my $response = $ua->request($request, \&callback);
                
     # cache retrieved file to disk
 # <ZACK/> TODO: inefficent, I haven't yet undestood how to deflate
@@ -465,21 +465,18 @@ sub answer
 }
 
 sub helm_wget {
-#ported from helm_wget executable, TODO: rewrite without wget.
 #retrieve a file from an url and write it to a temp dir
-#used for retrieve resource indexe from servers
+#used for retrieve resource index from servers
+ $cont = "";
  my ($prefix, $URL) = @_;
- if ($URL =~ /^file:\//) {
-  $URL =~ s/^file:\///;
-  my $command = "mkdir -p $prefix ; cp $URL $prefix";
-  print "$command\n";
-  system($command) == 0
-   or die "\"$command\" error";
- } else {
-  my $command = "wget -c -P $prefix $URL";
-  system($command) == 0
-   or die "\"$command\" error";
- }
+ my $ua = LWP::UserAgent->new;
+ my $request = HTTP::Request->new(GET => "$URL");
+ my $response = $ua->request($request, \&callback);
+ my ($filename) = reverse (split "/", $URL); # get filename part of the URL
+ open (TEMP, "> $prefix/$filename")
+  || die "Cannot open temporary file: $prefix/$filename\n";
+ print TEMP $cont;
+ close TEMP;
 }
 
 sub update {
@@ -509,7 +506,6 @@ sub mk_urls_of_uris {
  while ($server = pop @servers) { #cicle on servers in reverse order
   print "processing server: $server ...\n";
   chomp $server;
-  $debugserver = "http://dalamar.krynn.it/helm"; # FOR DEBUG ONLY: REMOVE ME !!
   helm_wget($tmp_dir, $server."/".$indexname); #get index
   $idxfile = $tmp_dir."/".$indexname;
   open (INDEX, "< $idxfile") or