Un-escaped characters in HTML filter

[Former user]

Original [issue 15](https://code.google.com/p/okapi/issues/detail?id=15) created by @ysavourel on 2009-03-07T13:56:23.000Z:

It seems the <pre> elements are not rewritten properly with the HTML filter. For example something like <code>&lt;b></code> inside <pre> will be output <code></code> causing bolding afterward. See the attached example where the bottom of the .out file is de-formatted.

[Former user]

Comment [1.](https://code.google.com/p/okapi/issues/detail?id=15#c1) originally posted by @ysavourel on 2009-03-09T21:17:30.000Z:

following test case now passes:

public void testEascapedCodesInisdePre() { String snippet = "<pre><code></code></pre>"; assertEquals("<pre><code></code></pre>", generateOutput(getEvents(snippet), snippet)); }

[Former user]

Comment [2.](https://code.google.com/p/okapi/issues/detail?id=15#c2) originally posted by @ysavourel on 2009-03-09T22:20:22.000Z:

There are still cases (in <code> inside <p> for example) where the character < does not get escaped properly. See r1253 for a snippet.

[Former user]

Comment [3.](https://code.google.com/p/okapi/issues/detail?id=15#c3) originally posted by @ysavourel on 2009-03-09T23:55:00.000Z:

the phrasing of the bug confused me a bit. After thinking about it this has nothing to do with pre or code tags. The Html encoder was not being run as it should be. I know set the mime type on each TextUnit and all test cases pass.