def html_tokenizer(
        self,
        token,
        match,
        style,
    ):

        value = cgi.escape(match.group())
        self.change_style(token, style)
        self.output.append(value)
        if token == 'GOTOPYTHON':
            return 'PYTHON'
        return None
Return True if there isn't any more spiders to process
dataset/ETHPy150Open uwdata/termite-data-server/web2py/gluon/highlight.py/Highlighter.html_tokenizer--crossover with--dataset/ETHPy150Open scrapy/scrapy/scrapy/core/scraper.py/Scraper.is_idle