import urllib
import traceback
import glob
+import datetime
-html_copyright = """<div style="font-size: small; color: gray; margin-top: 1em;">Authors: Michal Sojka, Pavel Píša, Copyright © 2010, 2011 Czech Technical University in Prague</div>"""
+html_copyright = """<div style="font-size: small; color: gray; margin-top: 1em;">Authors: Michal Sojka, Pavel Píša, Martin Hořeňovský, Copyright © 2010-%d Czech Technical University in Prague.<br />
+<a rel="license" href="http://creativecommons.org/licenses/by-sa/3.0/"><img alt="Creative Commons License" style="border-width:0; vertical-align:text-bottom;" src="http://i.creativecommons.org/l/by-sa/3.0/80x15.png" /></a> This work is licensed under a <a rel="license" href="http://creativecommons.org/licenses/by-sa/3.0/">Creative Commons Attribution-ShareAlike 3.0 Unported License</a>.</div>""" % datetime.date.today().year
class DimValue(object):
def __new__(cls, dim, value):
print test.path
test.generateHtml()
- os.system("source-highlight -d --output-dir=. ../*.sh > /dev/null")
+ os.system("source-highlight -d --output-dir=. %s/*.sh > /dev/null" % sh_dir)
class Page(object):
def __init__(self, dimPair, valsOther, tests):
if __name__ == "__main__":
os.chdir(sys.argv[1])
+ sh_dir = sys.argv[2]
os.system("rm *.html")
tests = Tests("./", Space(DimensionHostKern(), DimensionKern(), DimensionTraffic(), DimensionLoad(), DimensionTest()))
tests.generateHtml()