Problems with TDOMParser while running in proof lite mode

Dear experts,

I have some trouble with the TDOMParser running my code in proof lite mode. The XML parser comes with an official package (so not much I can do there), but runs completely fine as far as I run only in local mode. However, once I switch to proof I get an error message from the xml parser. The problem occurs while calling
TDOMParser::ParseFile
which returns -2 . Looking into this function the error occurs due to a call of xmlCreateFileParserCtxt(filename), which I could not locate. Since it runs fine in local mode I do not expect any problems with the xml file itself. Has anyone spotted such problems as well or has an idea what could go wrong?

Many thanks in advance!

Cheers,

Marcus

Hi,

the problem is solved now. One just needs to pass the full path to the file in thsi case.

Cheers,

Marcus