diff options
author | Mattia Rizzolo <mattia@mapreri.org> | 2015-01-13 22:34:37 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-01-13 23:40:54 +0100 |
commit | 0a3a4845cae3f44585f3183d890a4c85161fe825 (patch) | |
tree | f90ce6e16e30d672abe0412a0c9a77f7a567f1de /bin/reproducible_html_packages.py | |
parent | 4fb126ebf3f176301df2fc6d0ce01367ab20c498 (diff) | |
download | jenkins.debian.net-0a3a4845cae3f44585f3183d890a4c85161fe825.tar.xz |
reproducible: common.sh: split packages list in chunk of 100 items to avoid "Argument list too long" error
Diffstat (limited to 'bin/reproducible_html_packages.py')
-rwxr-xr-x | bin/reproducible_html_packages.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/bin/reproducible_html_packages.py b/bin/reproducible_html_packages.py index 64316127..944e4afc 100755 --- a/bin/reproducible_html_packages.py +++ b/bin/reproducible_html_packages.py @@ -112,7 +112,7 @@ def gen_extra_links(package, version): return (links, default_view) -def process_packages(packages): +def process_packages(packages, no_clean=False): """ generate the /rb-pkg/package.html page packages should be a list @@ -141,7 +141,8 @@ def process_packages(packages): write_html_page(title=title, body=html, destfile=destfile, noheader=True, nofooter=True, noendpage=True) log.info("Package page generated at " + desturl) - purge_old_pages() # housekeep is always good + if not no_clean: + purge_old_pages() # housekeep is always good def purge_old_pages(): |