Andrew Wong has submitted this change and it was merged. ( http://gerrit.cloudera.org:8080/15386 )
Change subject: master: plumb metric for master leadership ...................................................................... master: plumb metric for master leadership Change-Id: Ie6972a1b9f803e3e4f293c67b035f5e924c67df2 Reviewed-on: http://gerrit.cloudera.org:8080/15386 Reviewed-by: Adar Dembo <[email protected]> Tested-by: Kudu Jenkins --- M src/kudu/integration-tests/master_replication-itest.cc M src/kudu/master/sys_catalog.cc 2 files changed, 6 insertions(+), 4 deletions(-) Approvals: Adar Dembo: Looks good to me, approved Kudu Jenkins: Verified -- To view, visit http://gerrit.cloudera.org:8080/15386 To unsubscribe, visit http://gerrit.cloudera.org:8080/settings Gerrit-Project: kudu Gerrit-Branch: master Gerrit-MessageType: merged Gerrit-Change-Id: Ie6972a1b9f803e3e4f293c67b035f5e924c67df2 Gerrit-Change-Number: 15386 Gerrit-PatchSet: 2 Gerrit-Owner: Andrew Wong <[email protected]> Gerrit-Reviewer: Adar Dembo <[email protected]> Gerrit-Reviewer: Andrew Wong <[email protected]> Gerrit-Reviewer: Kudu Jenkins (120) Gerrit-Reviewer: Tidy Bot (241)
