fix space to be actually a space and not some unicode thing

This commit is contained in:
j 2008-05-04 16:05:43 +02:00
parent ef9cec7cae
commit 5e567665c4

View file

@ -142,7 +142,7 @@ def htmldecode(text):
return uchr(name2codepoint[entity]) return uchr(name2codepoint[entity])
else: else:
return match.group(0) return match.group(0)
return charrefpat.sub(entitydecode, text) return charrefpat.sub(entitydecode, text).replace(u'\xa0', ' ')
def highlight(text, query, hlClass="hl"): def highlight(text, query, hlClass="hl"):
if query: if query: