On Mon, May 03, 2004 at 04:41:58PM +0200, Thomas Guettler wrote:
> Here is a small patch to publish.py.  It provides a small hook to
> process the output before sending to the browser. I do it for
> checking the syntax of the HTML.

I think having the hook available is a good idea. I've implemented
something like your 'finish_output()' hook but I called it
'filter_output()'.  I've attached my version of the Tidy check.

  Neil