diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/download.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/download.pl b/scripts/download.pl index 2d87f47f84..84d10dbe5f 100755 --- a/scripts/download.pl +++ b/scripts/download.pl @@ -272,11 +272,11 @@ if (-f "$target/$filename") { $sum =~ /^(\w+)\s*/ or die "Could not generate file hash\n"; $sum = $1; + cleanup(); exit 0 if $sum eq $file_hash; die "Hash of the local file $filename does not match (file: $sum, requested: $file_hash) - deleting download.\n"; unlink "$target/$filename"; - cleanup(); }; } |