chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 04413bd) | patch
wdt: drag off: synch before chk
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 29 Jan 2021 19:36:11 +0000 (19:36 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 29 Jan 2021 23:36:53 +0000 (23:36 +0000)
commit4bca7566549a96dd42d06dfdf44763f3c84c375b
tree646324f5ea168a30669bca714af34e0aac68ead5tree | snapshot
parent04413bd9ec7164a9956dc81a864e3441e3e18f1ecommit | diff
wdt: drag off: synch before chk

Otherwise we can see the client's uncorrected view of things.

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