feat: use GrantedRegion instead of region_ids (#117)

2023-11-03 23:40:32 +09:00
parent 9d82dddf75
commit 7eb2e78be7
5 changed files with 1688 additions and 382 deletions
@@ -77,8 +77,13 @@ message HeartbeatResponse {
  RegionLease region_lease = 3;
 }

+message GrantedRegion {
+  uint64 region_id = 1;
+  RegionRole role = 2;
+}
+
 message RegionLease {
-  repeated uint64 region_ids = 1;
+  repeated GrantedRegion regions = 1;
  uint64 duration_since_epoch = 2;
  uint64 lease_seconds = 3;
 }