Mike Percy has submitted this change and it was merged. Change subject: consensus: Don't mark dirty when clearing the leader UUID ......................................................................
consensus: Don't mark dirty when clearing the leader UUID There is no reason to mark the tablet dirty when clearing the leader UUID. We only need to do that when we have a new leader. This is also required to implement tombstoned voting. Change-Id: Id2e3541c1970b253492a3493078dc5deeca63a29 Reviewed-on: http://gerrit.cloudera.org:8080/7193 Reviewed-by: David Ribeiro Alves <davidral...@gmail.com> Tested-by: Mike Percy <mpe...@apache.org> --- M src/kudu/consensus/raft_consensus.cc 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: David Ribeiro Alves: Looks good to me, approved Mike Percy: Verified -- To view, visit http://gerrit.cloudera.org:8080/7193 To unsubscribe, visit http://gerrit.cloudera.org:8080/settings Gerrit-MessageType: merged Gerrit-Change-Id: Id2e3541c1970b253492a3493078dc5deeca63a29 Gerrit-PatchSet: 3 Gerrit-Project: kudu Gerrit-Branch: master Gerrit-Owner: Mike Percy <mpe...@apache.org> Gerrit-Reviewer: Alexey Serbin <aser...@cloudera.com> Gerrit-Reviewer: David Ribeiro Alves <davidral...@gmail.com> Gerrit-Reviewer: Mike Percy <mpe...@apache.org>
