Hi Rainer,
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]?
Christian
[1] http://files.basex.org/releases/latest/ ___________________________
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@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@mailman.uni-konstanz.de https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk