chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cc019e3) | patch
wdt-hand: Add a missing synch
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 2 Apr 2021 15:15:35 +0000 (16:15 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 2 Apr 2021 15:15:35 +0000 (16:15 +0100)
commitdd4120122e9cecb72c157ba684133b86d320e45f
tree048e5b3be8783e0989ccb8a8a8b977229979601btree | snapshot
parentcc019e360b293a79495c20f670c40bb879cf05a0commit | diff
wdt-hand: Add a missing synch

Experimentally, pausing otter to simulate losing the race gives us a
conflict error.  This is kind of expected.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
wdriver/wdt-hand.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.