Commits

Ben Langmuir committed 5525319d5c1
[index] Add finish() hook to the index consumer API Since the memory underlying returned USRs is guaranteed to last until the indexing action completes, add a finish() hook so that clients can trigger an action at the end of indexing but before the memory goes away.