From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 29 Jan 2021 19:36:11 +0000 (+0000)
Subject: wdt: drag off: synch before chk
X-Git-Tag: otter-0.4.0~651
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=4bca7566549a96dd42d06dfdf44763f3c84c375b;p=otter.git

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>
---

diff --git a/wdriver/wdt-simple.rs b/wdriver/wdt-simple.rs
index 15a72a72..e43a9c8d 100644
--- a/wdriver/wdt-simple.rs
+++ b/wdriver/wdt-simple.rs
@@ -112,8 +112,8 @@ impl Ctx {
         .perform()
         .always_context("drag off")?;
 
-      chk(&w, exp_end)?;
       w.synch()?;
+      chk(&w, exp_end)?;
 
       exp_end
     };