Commit af12c6b9e6c83593ff7f69e05166ca3d12ad44dc

Stefan Sperling 2019-06-04T16:49:20

ensure that file index is synced to disk in case of errors