diff options
author | Eric W. Biederman <ebiederm@xmission.com> | 2018-08-01 11:43:43 -0500 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2018-08-03 20:04:29 +0000 |
commit | 65820d88976bc2fa83e9acd3b460ac304578d40a (patch) | |
tree | a08d7d3ff1c2f0510ffb4f690fc335aa158b7e68 /lib/PublicInbox/SearchIdx.pm | |
parent | 3f189032fb2d7c8a9dda732e0263e697ce1cb0ac (diff) | |
download | public-inbox-65820d88976bc2fa83e9acd3b460ac304578d40a.tar.gz |
The lookup to see if a num has already been assigned to a message happens in a temporary copy of message map. It is possible that the number has been removed from the current message map. The unindex/reindex after a history rewrite triggered by a purge should be one such case. Therefore add the number to the msgmap in case it is not currently present. Signed-off-by: "Eric W. Biederman" <ebiederm@xmission.com>
Diffstat (limited to 'lib/PublicInbox/SearchIdx.pm')
0 files changed, 0 insertions, 0 deletions