Recovery of situation when flushing to disk was interrupted

[Arkadiusz Burdach]

Hi,

Current recovery will fix log only if checksums don't match. In production usage there can be situation when flushing to disk will be interrupted (i.e. in case of power loss) and data will not fit size in header. In this case EOFException will be thrown from readLocationData().

Please check this commit: https://github.com/arkadius/Journal.IO/commit/69d18be5d3faf070c6e6a38de87c14027d2273cc with test that reproduce situation and proposed improvement and consider cherry-picking it.

Cheers,

Arek

[Sergio Bossa]

Hi Arek,

thanks for your patch, I'll have a look at it ASAP: could you send a
pull request in the meantime?

Cheers,

Sergio B.

> --
> You received this message because you are subscribed to the Google Groups
> "Journal.IO" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to journalio+...@googlegroups.com.
> For more options, visit https://groups.google.com/groups/opt_out.



--
Sergio Bossa
http://www.linkedin.com/in/sergiob

[Arkadiusz Burdach]

Sure, I've send a pull request.