def html_quote(string):
    return '"%s"' % html_escape(string).replace('\n', '&#10;')\
                    .replace('\r', '&#13;').replace('\t', '&#9;')
Escape and quote a string to be used as an HTTP attribute.
dataset/ETHPy150Open Arelle/Arelle/arelle/webserver/bottle.py/html_quote