Thanks for the feedback. I have updated the app to use 1.4.200 and will
see how that goes. I had to patch the code in MVStore.java in 1.4.200 to
enable it to run on older Android JVMs. I have submitted a PR with the
patch. There are other issues in more recent commits (1.4.201) to the
code base that introduce other Java 8 classes which are not supported on
Android.
On 14 Nov 2019, at 13:49, Andrei Tokar wrote:
First of all - it has nothing to do with disk space available. It is a
bug
in MVStore. When chunk is saved and insufficient space for chunk
header is
reserved at the beginning, but later when all chunk's data is written
and
it's time to write actual values into the header (and this is
JSON-like
formatted string with chunk attributes) it turn's out that reserved
space
is insufficient. Your massive entries removal indded may trigger that.
Latest version (1.4.200) does more conservative estimate, so chance of
this
happening is reduced, but not eliminated. We just need to handle that
condition in a more robust way (it is totally recoverable), instead of
throwing the towel.
As far as automatic reopening goes - it not always a good idea,
because
root cause for premature closure could be anything. If you think that
you
need that, it can be easily implemented by application.
--
You received this message because you are subscribed to the Google
Groups "H2 Database" group.
To unsubscribe from this group and stop receiving emails from it, send
an email to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/h2-database/2a231bda-7be1-484d-8e30-edf43c20cee9%40googlegroups.com.
--
You received this message because you are subscribed to the Google Groups "H2
Database" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/h2-database/6297EA5C-0DB0-4EDA-A25C-4F0A05E56940%40stubbs.me.
