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 | 700cbf841d1cd62ad5ee2bf6fa867c92fccf5a4d (patch) | |
| tree | b993d866375a309ead79e44a525ceb7f012126af /src/remake/coordinator.rs | |
| parent | 5a242c456c8d1e240210c87e49d4f284835e9c77 (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. |
