- more info about local filename when fetch is FAILED

Changed files:
    file-fetcher.pl -> 1.32

diff --git a/file-fetcher.pl b/file-fetcher.pl
index 9c575aa5506ab1b4fc6a76016ba922ff002265a4..bed3bd53452b2a51ba6892c680e3923e32f30833 100644 (file)
--- a/file-fetcher.pl
+++ b/file-fetcher.pl
@@ -182,6 +182,7 @@ sub handle_no_url($$)
     my $computed_md5 = md5($file);
     if ($computed_md5 ne $md5) {
       $problems .= "FATAL: $file md5 mismatch, needed $md5, got $computed_md5\n";
+      $problems .= "       Local filename used while computing: " . $file . "\n";
     } else {
       move_file($md5, $url, $file);
       make_src_symlink($md5, $url);