Remove archived files from bad files

2017-03-12 13:13:08 +01:00 · 2017-03-12 13:13:08 +01:00 · ec513f0b60
commit ec513f0b60
parent 96e45bb517
1 changed files with 2 additions and 0 deletions
--- 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")