// Could not write index for some reason. Ignore and let the next index query reinitialize the index.
return true;
}
- searcher.replaceIndex(progress.newChild(40), key, keyValues, relation, 1, documents);
+ didChange |= searcher.replaceIndex(progress.newChild(40), key, keyValues, relation, 1, documents);
} catch (InvalidResourceReferenceException e) {
throw new IndexException(e);