Mirror/gitinspector
1
0
Fork 0
mirror of https://github.com/ejwa/gitinspector.git synced 2024-11-16 00:28:25 +01:00
Code Issues Projects Releases Packages Wiki Activity

Fixed the printout of extensions in the HTML output.

Browse source 
The printed data was using   instead of spaces when printing out all
extensions found. This resulted in the browser not being able to properly
separate rows.
This commit is contained in:
Adam Waldenberg 2013-05-08 18:26:25 +02:00
parent 10179d12ed
commit 00c0218896
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
extensions.py
View file

@ -43,14 +43,14 @@ class Extensions(Outputable):
def output_html(self): def output_html(self):
if __located_extensions__: if __located_extensions__:
extensions_xml = "<div><div class=\"box\">" extensions_xml = "<div><div class=\"box\">"
extensions_xml += "<p>" + __extensions_info_text__ + "&nbsp;(extensions used during statistical analysis are marked).</p><p>" extensions_xml += "<p>" + __extensions_info_text__ + " (extensions used during statistical analysis are marked).</p><p>"
for i in __located_extensions__: for i in __located_extensions__:
if i in __extensions__: if i in __extensions__:
extensions_xml += "<strong>" + i + "</strong>" extensions_xml += "<strong>" + i + "</strong>"
else: else:
extensions_xml += i extensions_xml += i
extensions_xml += "&nbsp;" extensions_xml += " "
extensions_xml += "</p></div></div>" extensions_xml += "</p></div></div>"
print(extensions_xml) print(extensions_xml)