[basex-talk] rename database

Hi!

I'm trying to embed BaseX into a smaller java project - pretty much everything works perfectly, but I can't seem to find a way to rename an existing database: am I missing something? I use CreateDB, DropDB and InfoDB - is there something like RenameDB? Or shall I try to rename the directory at the user's home dir in BaseXData? Thank you!

Szabolcs Kurdi

PS: probably it is widely known, but in the gui the query editor is badly broken with international keyboards (like using the AltGr key).