move the leader to a new design

This commit is contained in:
Tamo 2023-03-16 14:31:03 +01:00
parent c4c1240ab8
commit 145f0e753c
4 changed files with 139 additions and 84 deletions

View file

@ -16,7 +16,7 @@ pub enum Error {
SerdeJson(#[from] serde_json::Error),
}
#[derive(Debug, Serialize, Deserialize)]
#[derive(Debug, Clone, Serialize, Deserialize)]
pub enum LeaderMsg {
// Starts a new batch
StartBatch { id: u32, batch: Vec<u32> },