]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/http_getter.pl.in
Added control on some "open" call (with 'or die ...')
[helm.git] / helm / http_getter / http_getter.pl.in
index 67475764295e11af7c71dcaa56fa64899debae7e..43c7ff0790ec3750ce8858c6a54e972071a269c9 100755 (executable)
@@ -219,7 +219,7 @@ EOT
             print "DTD: $inputuri ==> ($filename)\n";
             if (stat($filename)) {
                print "Using local copy\n";
-               open(FD, $filename);
+               open(FD, $filename) or die "Cannot open $filename\n";
                $cont = "";
                while(<FD>) { $cont .= $_; }
                close(FD);
@@ -346,7 +346,7 @@ sub download
        if ($localfname =~ /\.xml\.gz$/) {      # deflating cached file and return it
                $cont = gunzip($localfname);
        } elsif ($localfname =~ /\.xml$/) {     # just return cached file
-               open(FD, $localfname);
+               open(FD, $localfname) or die "Cannot open $localfname";
                while(<FD>) { $cont .= $_; }
                close(FD);
        } else {        # error
@@ -365,7 +365,7 @@ sub download
 # <gzip>
        print "Storing the $str file\n";
        mkdirs($filename);
-       open(FD, ">".$filename.".tmp");
+       open(FD, ">".$filename.".tmp") or die "Cannot open $filename.tmp\n";
        print FD $cont;
        close(FD);
 
@@ -378,7 +378,7 @@ sub download
                $cont = gunzip($filename);
        } elsif (($cachemode eq 'normal') and ($resourcetype eq 'gzipped')) {   # deflate cache entry
                                                                                                                                                        # and update $cont
-               open(FD, "> $basefname");
+               open(FD, "> $basefname") or die "cannot open $basefname\n";
                $cont = gunzip($filename.".tmp");
                print FD $cont;
                close(FD);