Fix #642.
If an index is updated during a replication, the replication process is
aborted.
Merge pull request #656 from emmanuel-keller/1.5

Fix #642.