From 78b01834bc809c01356fdce6d0f74f2367394034 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Tue, 29 Dec 2020 23:56:07 +0000
Subject: [PATCH] wip await gen

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

diff --git a/wdriver.rs b/wdriver.rs
index 6f1cc750..17d50727 100644
--- a/wdriver.rs
+++ b/wdriver.rs
@@ -857,7 +857,7 @@ impl<'g> WindowGuard<'g> {
             ("wanted", &gen.to_string())
           ]).subst(r#"
             var done = arguments[0];
-            if (gen >= @wanted) { done(gen): return; }
+            if (gen >= @wanted@) { done(gen); return; }
             gen_update_hook = function() {
               gen_update_hook = function() { };
               done(gen);
-- 
2.30.2