[basex-talk] Adding documents to database while space on disk drive runs out

Hi,

I just had the problem that the disk space of the drive where a BaseX database instance was stored ran out while adding a new document to the database via the server interface. The result was a half-finished document in the database resulting in ArrayIndexOutOfBounds-exceptions when querying the database and strange behavior of the GUI (views are not shown and even disabled). Would it be possible to check for sufficient disk space before writing to the database files? Moreover, it would be nice if the failed transaction of adding the document while the space ran out could be rolled back somehow to get the database back into a consistent state.

Thank you for your support!

Best regards, Thomas