diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_html_breakages.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/reproducible_html_breakages.py b/bin/reproducible_html_breakages.py index f0d0814c..8a037342 100755 --- a/bin/reproducible_html_breakages.py +++ b/bin/reproducible_html_breakages.py @@ -161,7 +161,8 @@ def alien_log(directory=None): try: if os.path.getmtime('/'.join([root, file]))<time.time()-86400: bad_files.append('/'.join([root, file])) - log.warning('/'.join([root, file]) + ' should not be there and older than a day.') + os.remove('/'.join([root, file])) + log.warning('/'.join([root, file]) + ' should not be there and and was older than a day so it was removed.') else: log.info('ignoring ' + '/'.join([root, file]) + ' which should not be there, but is also less than 24h old and will probably soon be gone.') except FileNotFoundError: |