Searched refs:runidHeader (Results 1 – 2 of 2) sorted by relevance
34 def __init__(self,runidHeader): argument35 self._runidHeader = runidHeader 39 def runidHeader(self): member in Document
87 if document.runidHeader:88 self._output.write("Document generated for run ids : %s\n" % document.runidHeader)651 if document.runidHeader:652 self._output.write("<p>Document generated for run ids : %s</p>\n" % document.runidHeader)
