diff options
| author | tv <tv@krebsco.de> | 2026-11-08 14:09:25 +0000 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2026-11-08 15:10:05 +0100 |
| commit | 84a137b4db8d901848df8e06dc45dfca2206dbae (patch) | |
| tree | 0cece057bfab6ed625bb7272e47a88b65b95b6fb /src/document/store.rs | |
| parent | f37303dddf5e622fef9e99383f5fb700ed641c06 (diff) | |
rules: an expired remake aborted by any member
Under a policy, a remake's decision was taken from its coordinator only.
A node aborting an expired remake whose coordinator is gone
(DELETE /admin/remakes, after abortableAt) was refused by its own
judgement (403), so such a remake could never be decided.
The decision is now also taken from a user who may write it (the
protocol writers), and an abort from any member once the remake expired
a grace period ago (abortableAt, by the coordinator's grace period in
the proposal). The rules have no clock of their own, so that is judged
by the time the change says it was made: the writer's word, so a member
could abort a remake early, as it could ask its coordinator to, but
never commit one. Before then, an abort stays a request the coordinator
applies.
Diffstat (limited to 'src/document/store.rs')
0 files changed, 0 insertions, 0 deletions
