From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 10 Jan 2021 22:47:11 +0000 (+0000)
Subject: wdt: Provide synch_ignore_errors
X-Git-Tag: otter-0.3.0~125
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=cf54917f0ba1f0c1fcbfbe35c2d2976101e67f65;p=otter.git

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

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()?;