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 | 7a3b0f46b1c899305cdfe8b06e2a64e9748d5b42 (patch) | |
| tree | a4c4f61193bd206d794a4aeef9607a0d6d7e3449 /src/remake/coordinator.rs | |
| parent | debd4355eb9d9d1bd2f69e37e2d5a9a18f3585d4 (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. |
