From 4dd254c57ecc416491a5b828e2a0c1c2cf7133a5 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 5 Apr 2021 12:37:45 +0100
Subject: [PATCH] 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>
---
 wdriver/wdt-hand.rs | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/wdriver/wdt-hand.rs b/wdriver/wdt-hand.rs
index c87d792d..32cf8c28 100644
--- 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()?;
+    }
   }
 }
 
-- 
2.30.2