diff options
| author | erdgeist <erdgeist@erdgeist.org> | 2026-07-08 22:51:17 +0200 |
|---|---|---|
| committer | erdgeist <erdgeist@erdgeist.org> | 2026-07-08 22:51:17 +0200 |
| commit | 9427dc462e68eb4b902cd5b2ace5607b036504ef (patch) | |
| tree | 17b16025f41d482087da02b06f7453d71f1298cc /script | |
| parent | 0bc112baec8b3d19aba3c1757cb4cf81fda098c5 (diff) | |
Fix revert being unusable from an unlocked nodes#show
revert! requires the lock to already be held, correct for nodes#edit
where the editor holds it throughout -- but both exclusive-case
buttons on nodes#show fire from a node that starts out unlocked,
which raised LockedByAnotherUser incorrectly. lock_for_editing! first
makes both call sites safe: a harmless re-stamp when already the
owner, a real but momentary acquisition otherwise, released again by
revert! itself once nothing is left to protect.
Diffstat (limited to 'script')
0 files changed, 0 insertions, 0 deletions
