diff options
| author | Aria <me@aria.rip> | 2023-10-14 22:40:55 +0100 |
|---|---|---|
| committer | Aria <me@aria.rip> | 2023-10-14 22:40:55 +0100 |
| commit | 2c6c06a9c31049567f1c1e0eff522c5a71d6c680 (patch) | |
| tree | 9fa62b94122a539b2bdda97993d0bb906c9171b8 /broadcast/src/msg.rs | |
| parent | b2d679f05d04052bfc25167eaaf09c60c03251cb (diff) | |
fault tolerant broadcast
Diffstat (limited to 'broadcast/src/msg.rs')
| -rw-r--r-- | broadcast/src/msg.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/broadcast/src/msg.rs b/broadcast/src/msg.rs index 6433982..81abb2d 100644 --- a/broadcast/src/msg.rs +++ b/broadcast/src/msg.rs @@ -19,7 +19,7 @@ pub enum BroadcastBody { #[serde(rename = "topology")] Topology { msg_id: Option<MessageID>, - topology: HashMap<String, Vec<String>>, + topology: HashMap<String, HashSet<String>>, }, #[serde(rename = "topology_ok")] |