[xml] HTML push parser in recovery mode

2013-10-01 Thread Jani Hautamäki
Hi all, The HTML push parser in recovery mode misses ending tags when they happen to occur at chunk border. That is, the ending tag is only partly in the pushed chunk, eg. the last characters in the chunk are " and after the end of the document has been encountered. I've filed a bug report on

[xml] Documentation for XML_PARSE_RECOVER

2013-10-01 Thread Simon Kågedal Reimer
Hi! I'd like to know more about the specific behavior of libxml2's parser with the XML_PARSE_RECOVER option set, i.e.: - what kinds of errors is it able to recover from? - how does it recover? (What insertions are done, etc.) Is this documented somewhere? Thankful for any pointers. Regards,