diff options
| author | tv <tv@krebsco.de> | 2026-10-25 20:18:40 +0100 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2026-10-25 20:18:40 +0100 |
| commit | c027da65b18e7a9e78d406f4f24cd2808ca2d901 (patch) | |
| tree | fe15ba75ffe29722aa999ec9eac7647299b14c42 /src/remake/coordinator.rs | |
| parent | 1af7d8ab9ccd750aa6c1225ea2c12987ddf60b99 (diff) | |
bump abort margin & allow aborting active remake
Diffstat (limited to 'src/remake/coordinator.rs')
| -rw-r--r-- | src/remake/coordinator.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/remake/coordinator.rs b/src/remake/coordinator.rs index 3a7b071..427de08 100644 --- a/src/remake/coordinator.rs +++ b/src/remake/coordinator.rs @@ -12,7 +12,7 @@ //! The decision is written in the same step that checks the records once more, so a //! commit never overrides an abort request or a competitor's commit that arrived while //! the snapshot was being built. Nor is a commit written once the remake has expired: -//! from then on, any node may abort it (`api`), and the two mustn't race. +//! a grace period later, any node may abort it (`api`), and the two mustn't race. //! //! Committing builds the snapshot at the base heads and records the new epoch, so //! every node can verify its own build against it. |
