diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-09-11 15:49:34 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-09-11 15:49:34 +0200 |
| commit | 8758d820d6ee4b668f70210ec594b90ba58ab075 (patch) | |
| tree | ad530c2382acf7825b43f3004e0fe022e357f056 /bin/reproducible_html_indexes.py | |
| parent | 5dfbba01b1150dd7e1ebd72610943cad4a63c7cf (diff) | |
| download | jenkins.debian.net-8758d820d6ee4b668f70210ec594b90ba58ab075.tar.xz | |
reproducible: include bug stati into live_status
Diffstat (limited to 'bin/reproducible_html_indexes.py')
| -rwxr-xr-x | bin/reproducible_html_indexes.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/reproducible_html_indexes.py b/bin/reproducible_html_indexes.py index d5a8aebf..d73a887f 100755 --- a/bin/reproducible_html_indexes.py +++ b/bin/reproducible_html_indexes.py @@ -531,11 +531,11 @@ def build_page(page, suite=None, arch=None): destfile = BASE + '/' + suite + '/' + arch + '/index_' + page + '.html' desturl = REPRODUCIBLE_URL + '/' + suite + '/' + arch + '/index_' + \ page + '.html' - write_html_page(title=title, body=html, destfile=destfile, suite=suite, arch=arch, style_note=footnote) + write_html_page(title=title, body=html, destfile=destfile, suite=suite, arch=arch, style_note=True) log.info('"' + title + '" now available at ' + desturl) -bugs = get_bugs() +bugs = get_bugs() # FIXME: this variable should not be global, else merely importing _html_indexes always queries UDD if __name__ == '__main__': for arch in ARCHS: |