From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 10 Jan 2021 23:10:51 +0000 (+0000)
Subject: wdt: Reload page and resynch after loading penultima
X-Git-Tag: otter-0.3.0~123
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=ee25acfbc5223650c26b24b1d69382f96e925a2c;p=otter.git

wdt: Reload page and resynch after loading penultima

This will produce a nice screenshot I hope.

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

diff --git a/wdriver/wdt-altergame.rs b/wdriver/wdt-altergame.rs
index f12c2e91..7840e61b 100644
--- a/wdriver/wdt-altergame.rs
+++ b/wdriver/wdt-altergame.rs
@@ -83,6 +83,9 @@ fn main(){
     let mut alice = c.su.w(&c.alice)?;
     alice.otter(&["reset"],&[&game_spec])?;
     alice.synch_ignore_js_errors()?;
+    let url = alice.current_url()?;
+    alice.get(url)?;
+    alice.synch()?;
   }
 
   info!("ok");