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 with which we can reproduce the failure? That would greatly help us find the bug you are experiencing.
Leo