changeset 1815:3dabc11da660

xml minor
author Franklin Schmidt <fschmidt@gmail.com>
date Tue, 11 Jun 2024 17:34:27 -0600
parents 0ead5c6b07b0
children e62c88b2883b
files src/goodjava/xml/XmlParser.java
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/goodjava/xml/XmlParser.java	Tue Jun 11 11:32:36 2024 -0600
+++ b/src/goodjava/xml/XmlParser.java	Tue Jun 11 17:34:27 2024 -0600
@@ -89,7 +89,7 @@
 
 	private String string(String name) throws ParseException {
 		int start = parser.begin();
-		while( parser.noneOf("<") );
+		while( matchComment() || parser.noneOf("<") );
 		String s = parser.textFrom(start);
 		s = decode(s);
 		if( !endTag(name) )