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: [email protected] > 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 _______________________________________________ BaseX-Talk mailing list [email protected] https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk
