From 4bca7566549a96dd42d06dfdf44763f3c84c375b Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 29 Jan 2021 19:36:11 +0000
Subject: [PATCH] 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 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
     };
-- 
2.30.2