David Ribeiro Alves has submitted this change and it was merged.

Change subject: Add a way to include request ids in log-dump
......................................................................


Add a way to include request ids in log-dump

This adds a way to output the request ids, if they exist, in log-dump.cc.
This is helpful when debugging as it allows to see which writes the
request ids get associated with.

Change-Id: I88d7c65887a98544ee83b5b4bc0817bea7222131
Reviewed-on: http://gerrit.cloudera.org:8080/3612
Reviewed-by: David Ribeiro Alves <dral...@apache.org>
Tested-by: David Ribeiro Alves <dral...@apache.org>
---
M src/kudu/consensus/log-dump.cc
1 file changed, 10 insertions(+), 2 deletions(-)

Approvals:
  David Ribeiro Alves: Looks good to me, approved; Verified



-- 
To view, visit http://gerrit.cloudera.org:8080/3612
To unsubscribe, visit http://gerrit.cloudera.org:8080/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I88d7c65887a98544ee83b5b4bc0817bea7222131
Gerrit-PatchSet: 9
Gerrit-Project: kudu
Gerrit-Branch: master
Gerrit-Owner: David Ribeiro Alves <dral...@apache.org>
Gerrit-Reviewer: David Ribeiro Alves <dral...@apache.org>
Gerrit-Reviewer: Mike Percy <mpe...@apache.org>

Reply via email to