Searched refs:logHeader (Results 1 – 3 of 3) sorted by relevance
54 def logHeader(severity): function88 file.write(logHeader('DIAG') + ' '.join([str(arg) for arg in args]))95 file.write(logHeader('WARN') + ' '.join([str(arg) for arg in args]))103 strfile.write(logHeader('ERROR') + ' '.join([str(arg) for arg in args]))
46 def logHeader(severity): function83 file.write(logHeader('DIAG') + ' '.join(str(arg) for arg in args))90 file.write(logHeader('WARN') + ' '.join(str(arg) for arg in args))98 strfile.write(logHeader('ERROR') + ' '.join(str(arg) for arg in args))