Setting modification timestamp (for content migrated over WebDAV) over REST?

As part of a migration we move data into BaseX over WebDAV. It would be neat if we could preserver the original timestamp. I am aware that it is not possible to set the timestamp over WebDAV. Would it be possible to set the modified timestamp for particular resource over the resource API or is this timestamp tied to storage internals of BaseX? Andreas

Hi Andreas, You may be disappointed to hear that timestamps of documents are not stored as resource meta data in BaseX (unless your resource is binary). If timestamps are relevant, they are usually kept in project-specific meta databases. This will give you all kind of freedom you are looking for; but obviously it would often be simpler if there were database functions for requesting the timestamp of a file. There is a related GitHub issue on storing meta data in BaseX [1]. 2019 might be a good year to resume work on this. Reflecting on that, the beginning of a new year is actually always a good incentive to do everything you postponed the years before ;) Best, Christian [1] https://github.com/BaseXdb/basex/issues/988