def log(self, *message):
        if self._logger is None:
            return
        s = " ".join([str(m) for m in message])
        self._logger.write(s+'\n')
        self._logger.flush()
Highlights indentation in an HTML-formatted line.
dataset/ETHPy150Open jeffh/sniffer/sniffer/scanner/base.py/BaseScanner.log--crossover with--dataset/ETHPy150Open reviewboard/reviewboard/reviewboard/diffviewer/chunk_generator.py/RawDiffChunkGenerator._highlight_indentation