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 adampresley/bottlepy-bootstrap/app/bottle.py/html_quote