diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-03-05 16:02:34 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-03-05 16:02:34 +0100 |
| commit | 877fb9a6336fd8f1a387cb3bb397018b3dee77b3 (patch) | |
| tree | 97dd8e6d8ba36500e686f181212bab4c7e2326b9 /bin | |
| parent | 11daa31de81aab58a154fcc38ba869475c51e2bd (diff) | |
| download | jenkins.debian.net-877fb9a6336fd8f1a387cb3bb397018b3dee77b3.tar.xz | |
reproducible: deal with global pages
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_common.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/bin/reproducible_common.py b/bin/reproducible_common.py index 34942fd3..5bbcab1d 100755 --- a/bin/reproducible_common.py +++ b/bin/reproducible_common.py @@ -192,7 +192,10 @@ def write_html_page(title, body, destfile, suite=None, noheader=False, style_not html = '' html += html_header.substitute(page_title=title) if not noheader: - suite_links = '<li><a href="/' + suite +'">suite: ' + suite + '</a></li>' + if suite: + suite_links = '<li><a href="/' + suite +'">suite: ' + suite + '</a></li>' + else: + suite_links = '' for i in SUITES: if i != suite: suite_links += '<li><a href="/' + i +'">suite: ' + i + '</a></li>' |