diff options
author | Stifler <Stifler6996@users.noreply.github.com> | 2022-07-24 04:35:02 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-07-24 04:35:02 +0300 |
commit | 88649412fdfbd6648fe87cf5e91a2196d37d488e (patch) | |
tree | 214745583410cf086f349c09ab73bb7c27bf4a8b | |
parent | 344b5cea72bb90e6f0b422e8b22c0d96a24311a2 (diff) | |
parent | b6d3c300c1000142bc250b5d120a306a08dbfbb7 (diff) |
Merge pull request #37 from chutzimir/remove-corrupted-files
If a file needs to be updated, we can throw away the local copy
-rwxr-xr-x | apt-mirror | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -793,6 +793,10 @@ sub need_update return 1 unless ($size); return 0 if $size_on_server == $size; + + if ( get_variable("unlink") == 1 ) + unlink $filename; + } return 1; } |