If a file needs to be updated, we better throw it away

This saves wget from making an extra request to the server to check if
the file needs to be downloaded - we already checked that we want to
download it.

1 files changed, 3 insertions, 0 deletions

diff --git a/apt-mirror b/apt-mirror
index 8323893..635b5f9 100755
--- a/apt-mirror
+++ b/apt-mirror
@@ -785,6 +785,9 @@ sub need_update
 
     return 1 unless ($size);
     return 0 if $size_on_server == $size;
+
+    # The file is corrupted, throw it away so we can download it again
+    unlink $filename;
     return 1;
 }