def html_quote(string):
return '<STR_LIT>' % html_escape(string).replace('<STR_LIT:\n>','<STR_LIT>').replace('<STR_LIT:\r>','<STR_LIT>').replace('<STR_LIT:\t>','<STR_LIT>')<EOL>
Escape and quote a string to be used as an HTTP attribute.