wdt-hand: Clean up after regrab-race

This will help when we add another test case here.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/wdriver/wdt-hand.rs b/wdriver/wdt-hand.rs
index c87d792d581e5f7398fed3adc819a13d7161dde3..32cf8c283f608e67dc4d56bee91a98710bbdf2f4 100644 (file)
--- a/wdriver/wdt-hand.rs
+++ b/wdriver/wdt-hand.rs
@@ -273,6 +273,15 @@ impl Ctx {
       let log = w.retrieve_log(*gen)?;
       assert_eq!( log.find_conflicts(), Vec::<String>::new() );
     }
+
+    {
+      let mut w = su.w(&self.alice)?;
+      w.action_chain()
+        .click()
+        .perform()
+        .did("alice, ungrasp for tidy up")?;
+      w.synch()?;
+    }
   }
 }