diff options
| author | Luca Milanesio <luca.milanesio@gmail.com> | 2016-12-30 15:02:57 +0000 |
|---|---|---|
| committer | Luca Milanesio <luca.milanesio@gmail.com> | 2016-12-30 16:16:58 +0000 |
| commit | df10d85174a77a1fd7c81bacbdbce5df8c95c05c (patch) | |
| tree | fabbffddfe9b7e391414a682fae537e7324792f7 /gerrit-plugin-gwtui/pom.xml | |
| parent | e7fc0eb55f57d8fd95e99002386d7cc13a2b996a (diff) | |
Drain executor of index change requests before closing index
When Gerrit needs to exit because of a SIG-HUP, we need to make
sure to drain all pending threads that have outstanding indexing
operations not yet flushed to disk.
This does not have to be confused with the index close which may
happen during on-line reindexing and needs to preserve the current
indexing executor.
This is a rework of I6ec90eb73 and I7bda13058 with an alternative
approach that keeps both index consistency across restarts and on-line
reindexing.
Bug: Issue 5200
Bug: Issue 4618
Change-Id: Id332ec0215de4777fabef6ca310c510ba90c9760
Diffstat (limited to 'gerrit-plugin-gwtui/pom.xml')
0 files changed, 0 insertions, 0 deletions