diff options
| -rwxr-xr-x | bin/reproducible_html_packages.py | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/bin/reproducible_html_packages.py b/bin/reproducible_html_packages.py index 73b190aa..9b44cdaf 100755 --- a/bin/reproducible_html_packages.py +++ b/bin/reproducible_html_packages.py @@ -189,8 +189,12 @@ def purge_old_pages(): for suite in SUITES: for arch in ARCHES: log.info('Removing old pages from ' + suite + '...') - presents = sorted(os.listdir(RB_PKG_PATH + '/' + suite + '/' + - arch)) + try: + presents = sorted(os.listdir(RB_PKG_PATH + '/' + suite + '/' + + arch)) + except OSError as e: + if e.errno != errno.ENOENT: # that's 'No such file or + raise # directory' error (errno 17) for page in presents: pkg = page.rsplit('.', 1)[0] query = 'SELECT s.name ' + \ |