diff options
author | Mattia Rizzolo <mattia@mapreri.org> | 2015-01-15 17:15:34 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-01-16 11:50:01 +0100 |
commit | e0f5b96af744e84535a8d1695849ddfd6ff8d9fd (patch) | |
tree | bba267121afefe3e90299d114858ff6586da4196 | |
parent | f2d3f6c17b871e303034b38981aa58944b1c45aa (diff) | |
download | jenkins.debian.net-e0f5b96af744e84535a8d1695849ddfd6ff8d9fd.tar.xz |
reproducible: html_packages: add gen_all_rb_pkg_pages()
-rwxr-xr-x | bin/reproducible_html_packages.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/bin/reproducible_html_packages.py b/bin/reproducible_html_packages.py index c7d081dd..060d43ea 100755 --- a/bin/reproducible_html_packages.py +++ b/bin/reproducible_html_packages.py @@ -249,6 +249,12 @@ def process_packages(packages, no_clean=False): if not no_clean: purge_old_pages() # housekeep is always good +def gen_all_rb_pkg_pages(no_clean=False): + query = 'SELECT name FROM source_packages WHERE status != ""' + rows = query_db(query) + pkgs = [str(i[0]) for i in rows] + log.info('Processing all the package pages, ' + str(len(pkgs))) + process_packages(pkgs, no_clean) def purge_old_pages(): presents = sorted(os.listdir(RB_PKG_PATH)) |