A persistent tree map (work in progress) which might replace the storage of the database at some point in the far future.

A persistent tree map (work in progress) which might replace the storage of the database at some point in the far future.

On out of disk space, the database could get corrupt sometimes, if later write operations succeeded. Now the file is closed on the first unsuccessful write operation, so that later requests fail consistently. DatabaseEventListener.diskSpaceIsLow() is no longer supported because it can't be guaranteed that it always works correctly.