From 6273fa99d0b77307f7dbfdb20db462f2d0d3fe20 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 30 Dec 2020 01:06:31 +0000
Subject: [PATCH] use window global

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

diff --git a/wdriver.rs b/wdriver.rs
index 9de64abf..db678d15 100644
--- a/wdriver.rs
+++ b/wdriver.rs
@@ -859,8 +859,8 @@ impl<'g> WindowGuard<'g> {
           ]).subst(r#"
             var done = arguments[0];
             if (gen >= @wanted@) { done(gen); return; }
-            gen_update_hook = function() {
-              gen_update_hook = function() { };
+            window.gen_update_hook = function() {
+              window.gen_update_hook = function() { };
               done(gen);
             };
           "#)?
-- 
2.30.2