Hi,

the following handling of backups is surprising:

I would prefer, if there was an option in db:drop to keep the backups, which would allow to restore a deleted database from their backups. Is it possible to add options to db:drop, which allow that?

For me, the behavior of db:alter looks like a bug.


There is another minor handling, i would like to have changed:

If I compare these two, it works correctly if the local time zone offset is the same as for the creation of the backup E.g.:

   if (
     not(db:backups($db)) or
     max(db:backups($db)/@date/(. cast as xs:dateTime)) <
     db:info($db)/resourceproperties/inputdate/. cast as xs:dateTime
   ) then db:create-backup($db)
   else ()

Adding a time zone offset +hh:mm or -hh:mm to db:backups($db)/@date would solve this.


Thanks,

Christoph