diff options
Diffstat (limited to 'gnu/xml/dom/html2/DomHTMLTableElement.java')
| -rw-r--r-- | gnu/xml/dom/html2/DomHTMLTableElement.java | 21 |
1 files changed, 18 insertions, 3 deletions
diff --git a/gnu/xml/dom/html2/DomHTMLTableElement.java b/gnu/xml/dom/html2/DomHTMLTableElement.java index 95e295733..e08dc6211 100644 --- a/gnu/xml/dom/html2/DomHTMLTableElement.java +++ b/gnu/xml/dom/html2/DomHTMLTableElement.java @@ -330,7 +330,12 @@ public class DomHTMLTableElement for (Node ctx = thead.getFirstChild(); ctx != null; ctx = ctx.getNextSibling()) { - if (!"tr".equalsIgnoreCase(ctx.getLocalName())) + String ctxName = ctx.getLocalName(); + if (ctxName == null) + { + ctxName = ctx.getNodeName(); + } + if (!"tr".equalsIgnoreCase(ctxName)) { continue; } @@ -349,7 +354,12 @@ public class DomHTMLTableElement for (Node ctx = tbody.getFirstChild(); ctx != null; ctx = ctx.getNextSibling()) { - if (!"tr".equalsIgnoreCase(ctx.getLocalName())) + String ctxName = ctx.getLocalName(); + if (ctxName == null) + { + ctxName = ctx.getNodeName(); + } + if (!"tr".equalsIgnoreCase(ctxName)) { continue; } @@ -365,7 +375,12 @@ public class DomHTMLTableElement for (Node ctx = tfoot.getFirstChild(); ctx != null; ctx = ctx.getNextSibling()) { - if (!"tr".equalsIgnoreCase(ctx.getLocalName())) + String ctxName = ctx.getLocalName(); + if (ctxName == null) + { + ctxName = ctx.getNodeName(); + } + if (!"tr".equalsIgnoreCase(ctxName)) { continue; } |