[basex-talk] UPDINDEX not working ?

Hi Christian, I have a problem and I cannot understand what’s happening. I have set UPDINDEX to true, then I have created a database with some XML files in the BaseXGUI. When I look at the DB properties, both Up-to-date and UPDINDEX are true (this is what I want). But if I add some more XML files, using the Add Ressources at the Properties window, the Up-to-date flag becomes false (!) and I cannot understand why. Any hint? I had this problem first using the Java API, so I have decided to test it using the GUI, and I got the same behavior. Thank you in advance, Javier PS : I am using Basex 7.9. Since all is working fine (besides the UPDINDEX issue) I hesitate about upgrading.