push changes experiment

1 files changed, 4 insertions, 0 deletions

diff --git a/src/node.rs b/src/node.rs
index 5bfce31..155ed85 100644
--- a/src/node.rs
+++ b/src/node.rs
@@ -44,6 +44,9 @@ pub(crate) struct NodeConfig {
     /// limit)`.
     pub(crate) timing: Timing,
     pub(crate) neighbours_k: usize,
+    /// Changes along writers' trees as they are, not in sync messages
+    /// (`AppState::push_changes`).
+    pub(crate) push_changes: bool,
     pub(crate) alias: Option<String>,
     /// `--dashboard-url`.
     pub(crate) dashboard_url: Option<String>,
@@ -119,6 +122,7 @@ impl Node {
             run_id: uuid::Uuid::new_v4().into_bytes(),
             handshakes: Default::default(),
             neighbours_k: config.neighbours_k,
+            push_changes: config.push_changes,
             alias: config.alias,
             dashboard_url: config.dashboard_url,
             electorate_window: config.electorate_window,