Incorrect HTML generated by HTMLExceptionFormatter

[Jayden Kneller]

Currently HTMLExceptionFormatter wraps a <p> tag around a <ul> tag.

According to w3.org (http://www.w3.org/TR/html401/struct/text.html#h-9.3.1):
The P element represents a paragraph. It cannot contain block-level elements (including P itself).

In (http://www.w3.org/TR/html401/sgml/loosedtd.html) under (HTML content models) it mentions:
%block; block-like elements e.g. paragraphs and lists

Therefore <p> and <ul> tags are both block level. So a <p> tag cannot wrap around a <ul> tag.

So instead of the current code:
def getPrefix(self):
    return '<p>Traceback (innermost last):\r\n<ul>'

def formatLastLine(self, exc_line):
    return '</ul>%s</p>' % self.escape(exc_line)

To fix this we need the follow:
def getPrefix(self):
    return '<p>Traceback (innermost last):</p>\r\n<ul>'

def formatLastLine(self, exc_line):
    return '</ul><p>%s</p>' % self.escape(exc_line)

Basically a </p> is added before the open \r\n<ul> in getPrefix and <p> is added after </ul> in formatLastLine.

This fixes the html so it is correct.

[Tres Seaver (tseaver)]

Thanks very much for the patch. Applied to the Zope 2.12 branch:

  http://svn.zope.org/Zope/branches/2.12/?rev=112182&view=rev

and to the trunk:

  http://svn.zope.org/Zope/trunk/?rev=112183&view=rev