utils.py
changeset 7660 a1506b5306cc
parent 7649 ede740bd7077
child 7762 a3f9ba4d44eb
--- a/utils.py	Tue Jul 12 14:04:42 2011 +0200
+++ b/utils.py	Tue Jul 12 17:50:31 2011 +0200
@@ -383,7 +383,7 @@
             if skiphead:
                 for script in self.post_inlined_scripts:
                     w(u'<pre class="script">')
-                    w(script)
+                    w(xml_escape(script))
                     w(u'</pre>')
             else:
                 w(self.xhtml_safe_script_opening)