From cf54917f0ba1f0c1fcbfbe35c2d2976101e67f65 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 10 Jan 2021 22:47:11 +0000
Subject: [PATCH] wdt: Provide synch_ignore_errors

Will be needed to be able to test otter(1) runs that currently cause
errors requiring a reload.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 wdriver.rs | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/wdriver.rs b/wdriver.rs
index 8cb9d186..03f296f9 100644
--- a/wdriver.rs
+++ b/wdriver.rs
@@ -1027,6 +1027,17 @@ impl<'g> WindowGuard<'g> {
       .context("await gen update via async js script")?;
   }
 
+  #[throws(AE)]
+  pub fn synch_ignore_js_errors(&mut self) {
+    self.synch_raw()?;
+
+    self.su.driver.execute_script(r#"
+      let e = document.getElementById('error');
+      e.innerHTML = "";
+    "#)
+      .context("clear in-client trapped errors")?;
+  }
+
   #[throws(AE)]
   pub fn synch(&mut self) {
     self.synch_raw()?;
-- 
2.30.2