From ee25acfbc5223650c26b24b1d69382f96e925a2c Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 10 Jan 2021 23:10:51 +0000
Subject: [PATCH] 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>
---
 wdriver/wdt-altergame.rs | 3 +++
 1 file changed, 3 insertions(+)

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");
-- 
2.30.2