Fixed the wrong index_header values
authorGianluca Montecchi <gian@grys.it>
Tue, 20 Oct 2009 21:15:27 +0000 (23:15 +0200)
committerGianluca Montecchi <gian@grys.it>
Tue, 20 Oct 2009 21:15:27 +0000 (23:15 +0200)
becommands/html.py

index 21e80c3cc3bc689c69709b39cb3f7bd3455bb933..f36ba8d9fb27f6e41276bfcaa29db74f5252b44f 100644 (file)
@@ -55,7 +55,7 @@ def execute(args, manipulate_encodings=True):
     bd.load_all_bugs()
 
     html_gen = HTMLGen(bd, template=options.template, verbose=options.verbose,
-                       title=options.title, )
+                       title=options.title, index_header=options.index_header )
     html_gen.run(options.out_dir)
 
 def get_parser():
@@ -96,7 +96,7 @@ class HTMLGen (object):
         self.verbose = verbose
         self.title = title
         self.index_header = index_header
-
+        
         if encoding != None:
             self.encoding = encoding
         else:
@@ -246,6 +246,7 @@ class HTMLGen (object):
             filename = "index_inactive.html"
         else:
             raise Exception, "Unrecognized bug_type: '%s'" % bug_type
+        
         template_info = {'title':title,
                          'index_header':index_header,
                          'charset':self.encoding,