Thanks. That did the trick.
vincent wrote:
The simples method is to call htmlentities()
on the input code. This converts all HTML characters, such as the < and > to their HTML code equivalents, the &lt; etc. making the javascript into a useless (and harmless) pile of garbage.