tree 8cf6a95139b10739cd9fc426f0bed10869d72fab
parent a95c20b915b89cf3ba83f26d5717c2eb95fad487
author Jacek Centkowski <geminica.programs@gmail.com> 1657262842 +0200
committer Jacek Centkowski <geminica.programs@gmail.com> 1658913015 +0200

Persist cache keys index to a file

Persist cache keys index after every prune operation (temporarily) and
additionally on cache close operation.

Notes:
* it is persisted to '[cache_file_name].index.tmp' file and once
  operation is finished renamed to '[cache_file_name].index' so that
  in case when Gerrit is abruptly closed the index file is not
  corrupted

Bug: Issue 15121
Change-Id: Ib2013cede2be758148a7031ff6942f5c2b035caf