raft_serverpb: add extra message MsgTombstonePeerRequest.

Add an extra message MsgTombstonePeerRequest to tombstone abnormal peer. Signed-off-by: lucasliang <[email protected]>
pingcap · May 29, 2024 · c41e8a3 · c41e8a3
1 parent df42997
commit c41e8a3
Show file tree

Hide file tree

Showing 4 changed files with 155 additions and 162 deletions.
diff --git a/pkg/configpb/configpb.pb.gw.go b/pkg/configpb/configpb.pb.gw.go