Hi Ketill,
The error occurs randomly, but is always "triggered" by "results.more()" and I am not able to reproduce it at will. Is there something wrong or missing in how I iterate the results?
If you want, you can pass me the missing Java functions, as I not know too little about what e.g. getXmlResult does. Ideally, of course, we would be happy to have a self-contained example that we can test.
Best, Christian
I am using BaseX8.2.1 on windows 7.
Kind regards Ketill Fenne