Fix problem with unclosed scoping element and end tag html

jgraham · jgraham · commit 33cb109a3190 · 2010-01-17T23:59:46.000+01:00
diff --git a/src/html5lib/html5parser.py b/src/html5lib/html5parser.py
@@ -1274,8 +1274,9 @@ def endTagBody(self, token):
         self.parser.phase = self.parser.phases["afterBody"]
 
     def endTagHtml(self, token):
-        self.endTagBody(impliedTagToken("body"))
-        if not self.parser.innerHTML:
+        #We repeat the test for the body end tag token being ignored here
+        if self.tree.elementInScope("body"):
+            self.endTagBody(impliedTagToken("body"))
             self.parser.phase.processEndTag(token)
 
     def endTagBlock(self, token):
