fix reopen many times feed index bug, a=chris

Author Chris Pollett <chris@pollett.org>
Author date 2019-12-28 15:Dec:th
Author local date 2019-12-28 10:Dec:th -0500
Committer Chris Pollett <chris@pollett.org>
Committer date 2019-12-28 15:Dec:th
Committer local date 2019-12-28 10:Dec:th -0500
Commit 407a656fa43b08dc8c1d4e5618a8a0f448dbf158
Tree 1fa914663bef0ec59d09ebad8520aced4f2394cb
Parent 8b7b7b91c7a005cfe6e9db6e6a74dc36ba73753e
fix reopen many times feed index bug, a=chris
Affected files:
src/library/IndexDictionary.php
src/library/IndexManager.php
src/library/index_bundle_iterators/WordIterator.php
ViewGit