From: Jussi Koskela <jussi.koskela@semantum.fi>
Date: Fri, 10 Mar 2017 07:38:28 +0000 (+0200)
Subject: Hardening of DB index integrity
X-Git-Tag: v1.28.0~46
X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;ds=sidebyside;h=702195f31e8e94fc0e18172046b644723b0e9ea8;hp=702195f31e8e94fc0e18172046b644723b0e9ea8;p=simantics%2Fplatform.git

Hardening of DB index integrity

Mark index dirty as early as possible on write operations (and sync to
disk). Clean index dirtiness indicator as last step when deleting the
index. Cache dirty statuses to write dirty files only once.

refs #7075

Change-Id: I1c8a6882270b5fbd53bc88249ba5f50c05a83b51
---