equal
deleted
inserted
replaced
113 } |
113 } |
114 |
114 |
115 def parse_failsafe(source: CharSequence) = { |
115 def parse_failsafe(source: CharSequence) = { |
116 try { parse(source) } |
116 try { parse(source) } |
117 catch { |
117 catch { |
118 case e: BadYXML => XML.Elem (Markup.MALFORMED, Nil, |
118 case e: BadYXML => XML.Elem (Markup.BAD, Nil, |
119 List(XML.Text(source.toString.replace(X_string, "\\<^X>").replace(Y_string, "\\<^Y>")))) |
119 List(XML.Text(source.toString.replace(X_string, "\\<^X>").replace(Y_string, "\\<^Y>")))) |
120 } |
120 } |
121 } |
121 } |
122 |
122 |
123 } |
123 } |