diff options
-rwxr-xr-x | bin/reproducible_html_breakages.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/bin/reproducible_html_breakages.py b/bin/reproducible_html_breakages.py index 157862c2..f0d0814c 100755 --- a/bin/reproducible_html_breakages.py +++ b/bin/reproducible_html_breakages.py @@ -159,11 +159,11 @@ def alien_log(directory=None): rversion = '' # continue towards the "bad file" path if strip_epoch(rversion) != version: try: - if os.path.getmtime('/'.join([root, file]))<time.time()-1800: + 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') + log.warning('/'.join([root, file]) + ' should not be there and older than a day.') else: - log.info('ignoring ' + '/'.join([root, file]) + ' which should not be there, but is also less than 30m old and will probably soon be gone.') + 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: pass # that bad file is already gone. return bad_files |