On 02/20/2013 03:42 PM, Leo Wörteler wrote:
Hi Marco,
Am 20.02.2013 13:20, schrieb Marco Lettere:
Hi all, yesterday I stumbled upon a strange bug which today showed up again in the exact same manner. I got this nasty exception:
Improper use? Potential bug? Your feedback is welcome: Contact: basex-talk@mailman.uni-konstanz.de Version: BaseX 7.6 Java: Sun Microsystems Inc., 1.6.0_18 OS: Linux, i386 Stack Trace: java.lang.ArrayIndexOutOfBoundsException: 2 org.basex.io.random.TableDiskAccess.flush(TableDiskAccess.java:124) org.basex.data.DiskData.finishUpdate(DiskData.java:212) org.basex.core.cmd.Replace.run(Replace.java:78)
that actually sounds quite concerning. Do you have an example database
Yes. That was also my feeling ....
with which we can reproduce the failure? That would greatly help us find the bug you are experiencing.
Leo
I'll try to set it up.