X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fhttp_getter%2Fhttp_getter.pl.in;h=43c7ff0790ec3750ce8858c6a54e972071a269c9;hb=32ca7ef634a861ddca8e63491d8fada852d6cabf;hp=67475764295e11af7c71dcaa56fa64899debae7e;hpb=07b29a457f5f16e1aa85afbe057242a01c9303f1;p=helm.git

diff --git a/helm/http_getter/http_getter.pl.in b/helm/http_getter/http_getter.pl.in
index 674757642..43c7ff079 100755
--- a/helm/http_getter/http_getter.pl.in
+++ b/helm/http_getter/http_getter.pl.in
@@ -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);