# HG changeset patch # User Adrien Di Mascio # Date 1286465124 -7200 # Node ID 39663630ca3c3839981b7c5d834080647b95f84b # Parent 6989f0e02542c30197e91cecd5e1fbebad7021c1 xml-escape ' def __init__(self): super(HTMLHead, self).__init__() @@ -256,14 +261,14 @@ w = self.write # 1/ variable declaration if any if self.jsvars: - w(u'\n') + w(self.xhtml_safe_script_closing) # 2/ css files for cssfile, media in self.cssfiles: w(u'\n' % @@ -281,9 +286,9 @@ xml_escape(jsfile)) # 5/ post inlined scripts (i.e. scripts depending on other JS files) if self.post_inlined_scripts: - w(u'\n') + w(self.xhtml_safe_script_closing) header = super(HTMLHead, self).getvalue() if skiphead: return header