From ec513f0b609ae20b61b48fa52c0bb6abd3b4bc3a Mon Sep 17 00:00:00 2001 From: shortcutme Date: Sun, 12 Mar 2017 13:13:08 +0100 Subject: [PATCH] Remove archived files from bad files --- src/Content/ContentManager.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/Content/ContentManager.py b/src/Content/ContentManager.py index 4c3f5ade..4dbb2c09 100644 --- a/src/Content/ContentManager.py +++ b/src/Content/ContentManager.py @@ -767,6 +767,8 @@ class ContentManager(object): return False if self.isArchived(inner_path, new_content["modified"]): self.log.warning("%s this file is archived!" % inner_path) + if inner_path in self.site.bad_files: + del self.site.bad_files[inner_path] return False # Check sign sign = new_content.get("sign")