[4.0] Add leader field for region syncer (#639) (#643)

Signed-off-by: JmPotato <[email protected]>
pingcap · Aug 13, 2020 · 87df1b9 · 87df1b9
1 parent b37d46e
commit 87df1b9
Showing 2 changed files with 316 additions and 257 deletions.
diff --git a/pkg/pdpb/pdpb.pb.go b/pkg/pdpb/pdpb.pb.go
diff --git a/proto/pdpb.proto b/proto/pdpb.proto
@@ -542,6 +542,7 @@ message SyncRegionResponse{
     repeated metapb.Region regions = 2;
     uint64 start_index = 3;
     repeated RegionStat region_stats = 4;
+    repeated metapb.Peer region_leaders = 5;
 }
 
 message GetOperatorRequest {