BaseXException when renaming a database

> I got the exception below when renaming a database. The renaming > operation as such succeeded. It is just that exception that bothers me. > > org.basex.core.BaseXException: Improper use? Potential bug? Your > feedback is welcome: > Contact: basex-talk at mailman.uni-konstanz.de > Version: BaseX 7.3 > Java: The Android Project, 0 > OS: Linux, armv7l > Stack Trace: > java.lang.ArrayIndexOutOfBoundsException: length=8; index=-1 > org.basex.util.list.TokenList.get(TokenList.java:106) > org.basex.util.list.TwoWayTokenMap.set(TwoWayTokenMap.java:72) > org.basex.util.list.TwoWayTokenMap.set(TwoWayTokenMap.java:87) > org.basex.core.Databases.alter(Databases.java:72) > org.basex.core.cmd.AlterDB.alter(AlterDB.java:63) > org.basex.core.cmd.AlterDB.run(AlterDB.java:48) > org.basex.core.Command.run(Command.java:326) > org.basex.core.Command.exec(Command.java:305) > org.basex.core.Command.execute(Command.java:77) > org.basex.core.Command.execute(Command.java:89) > ... > > -- > > Best regards > Rainer Klute > > > > _______________________________________________ > BaseX-Talk mailing list > BaseX-Talk at mailman.uni-konstanz.de > https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk >

On 09.11.2012 13:44, Christian Grün wrote: > thanks for the report. I assume the problem should have been fixed in > 7.5. Could you have a look at the latest snapshot [1]?