coreos/etcd — pull request #1197 by xiangli-cmu (2014-09-29 02:45:04+00:00)
Title: Add raft msg denied

1. Fix genproto.sh

2. Add denied field to indicate a rejection.
- Prepare for making index int64 -> uint64
- Prepare for fixing msgResp duplication:

If leader sends two identical msgApps to a follower, the follower might send back two identical msgAppResp. If the follower sends back a denial msgAppResp, leader will decrease the next field of progress twice. This is incorrect. We expect the leader only decrease next field once. We reserve the index filed to indicate which index the follower actually rejected to.