diff options
author | Mattia Rizzolo <mattia@mapreri.org> | 2015-03-02 00:45:40 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-03-02 00:48:10 +0100 |
commit | 11c0c94d60e303f1d074fc622c32b3879784b90d (patch) | |
tree | 1664aa7adba7f6b61b32cde025b712c7882eec45 | |
parent | 72be9ffd1fa930637027e4169d59ef90bffbbba6 (diff) | |
download | jenkins.debian.net-11c0c94d60e303f1d074fc622c32b3879784b90d.tar.xz |
reproducible: html_packages: catch a ENOENT in purge_old_pages()
-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 ' + \ |