2008/5/13 Daniel Fetchinson <fetchin...@googlemail.com>:

I do not think this will be the bottleneck. Displaying is offcourse
what is done most, but retreiving the values from the database is more
expensive as the replacements I think.
But it never hurts to think about performance I think. So I made it like:
#####
startSpaces = re.compile(' +')
def splitLines(thisText):
    if thisText == None:
        return None
    thisText = xml.etree.ElementTree._encode_entity(thisText)
    lines    = thisText.split('\n')
    for i in range(len(lines)):
        match = startSpaces.match(lines[i])
        if match:
            lines[i] = '&nbsp;' * match.end() + lines[i][match.end():]
    return '<br/>'.join(lines)
#####

With xml.etree.ElementTree._encode_entity the conversion is done more
efficiënt and at the same time there is more done.
I find the spaces at the start of a line significant. That is why I
added the for-loop. In this way the spaces at the start of a line are
replaced with &nbsp; and is the indent of a line saved.

--
Cecil Westerhof