diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-03-02 16:17:11 +0100 |
|---|---|---|
| committer | Mattia Rizzolo <mattia@mapreri.org> | 2015-03-02 16:17:11 +0100 |
| commit | ad632336cb17eccb5f03cd01ca92c8d8ac88de99 (patch) | |
| tree | 0ff9b3fe3a691a8b69005108f5a72534cd9bbe46 | |
| parent | 2a696b8256e77930a5283352a663012abe04c2e9 (diff) | |
| download | jenkins.debian.net-ad632336cb17eccb5f03cd01ca92c8d8ac88de99.tar.xz | |
Revert "reproducible: only delete pkg file if it exists". Let's try a proper fix.
This reverts commit 6e8ee698df54f33e53796077ead79d6ea0d878c5.
| -rwxr-xr-x | bin/reproducible_html_packages.py | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/bin/reproducible_html_packages.py b/bin/reproducible_html_packages.py index 944ea857..d5a74af0 100755 --- a/bin/reproducible_html_packages.py +++ b/bin/reproducible_html_packages.py @@ -210,7 +210,6 @@ def purge_old_pages(): log.info('There is no package named ' + pkg + ' from ' + suite + '/' + arch + ' in the database. ' + 'Removing old page.') - pkg_file=RB_PKG_PATH + '/' + suite + '/' + arch + '/' + page - if os.path.isfile(pkg_file): - os.remove(pkg_file) + os.remove(RB_PKG_PATH + '/' + suite + '/' + arch + '/' + + page) |