[jhbuild/release-team-commands] [goalreport] list data sources at the end of generated report

[Frederic Peters <fpeters src gnome org>]

commit bb2c514eb18ffd0f783ae4a41d800a595bc6cc8b
Author: Frederic Peters <fpeters 0d be>
Date:   Tue May 5 14:04:45 2009 +0200

    [goalreport] list data sources at the end of generated report
---
 jhbuild/commands/goalreport.py |   10 ++++++++++
 1 files changed, 10 insertions(+), 0 deletions(-)

diff --git a/jhbuild/commands/goalreport.py b/jhbuild/commands/goalreport.py
index 754417e..cdecf14 100644
--- a/jhbuild/commands/goalreport.py
+++ b/jhbuild/commands/goalreport.py
@@ -449,6 +449,16 @@ class cmd_goalreport(Command):
         print >> output, '</tfoot>'
         print >> output, '</table>'
 
+        if (options.bugfile and options.bugfile.startswith('http://')) or \
+                (options.false_positives and options.false_positives.startswith('http://')):
+            print >> output, '<div id="data">'
+            print >> output, '<p>The following data sources are used:</p>'
+            print >> output, '<ul>'
+            print >> output, '  <li><a href="%s">Bugs</a></li>' % options.bugfile
+            print >> output, '  <li><a href="%s">False positives</a></li>' % options.falsepositivesfile
+            print >> output, '</ul>'
+            print >> output, '</div>'
+
         print >> output, '</body>'
         print >> output, '</html>'