commit: 94555e919be9640aea08ad096c25cddf3f67a6d0
Author: Mart Raudsepp <leio <AT> gentoo <DOT> org>
AuthorDate: Tue Oct 31 23:09:58 2017 +0000
Commit: Mart Raudsepp <leio <AT> gentoo <DOT> org>
CommitDate: Tue Oct 31 23:11:32 2017 +0000
URL:
https://gitweb.gentoo.org/proj/gentoo-bumpchecker.git/commit/?id=94555e91
gnome: Put "Stable" in the titles when it's a stable tree report
modules/gnome_output.py | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/modules/gnome_output.py b/modules/gnome_output.py
index 6f0f6be..d406d16 100644
--- a/modules/gnome_output.py
+++ b/modules/gnome_output.py
@@ -54,11 +54,11 @@ class Output:
lines.append('<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01
Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd";>')
lines.append("<html>")
lines.append('<head>')
- lines.append('<title>Gnome ' +
clioptions_module.Options().get_arguments().release_number + '
Progress</title>')
+ lines.append('<title>Gnome ' +
clioptions_module.Options().get_arguments().release_number + (' Stable' if
clioptions_module.Options().options.stable else '') + ' Progress</title>')
lines.append('<link rel="stylesheet" type="text/css"
href="default.css"></link>')
lines.append('</head>')
lines.append("<body>")
- lines.append("<h2>Gnome " +
clioptions_module.Options().get_arguments().release_number + " Progress</h2>")
+ lines.append("<h2>Gnome " +
clioptions_module.Options().get_arguments().release_number + (' Stable' if
clioptions_module.Options().options.stable else '') + " Progress</h2>")
lines.append("contact " + os.environ["USER"] + "@gentoo.org if
anything is not correct<br>")
lines.append("Generated UTC date: " + current_time + "<br>")
