Don’t try to delete a broken RRDP archive twice during cleanup. (#956)

This PR fixes an issue where the RRDP collector tried to delete a corrupt
archive twice during cleanup resulting in a fatal error.
This commit is contained in:
Martin Hoffmann
2024-05-01 14:02:33 +02:00
committed by GitHub
parent bf9ee156a5
commit 763d971e96
+6 -1
View File
@@ -531,7 +531,12 @@ impl<'a> Run<'a> {
entry_path.clone(), retain
) {
Ok(some) => some,
Err(err) if err.should_retry() => false,
Err(err) if err.should_retry() => {
// The RrdpArchive code has deleted the file already
// in this case, so we mustnt do it again, so we
// pretend we want to keep it.
true
}
Err(_) => return Err(Fatal),
};
if !keep {