From c31f46fc32ca7f634d6d74dedd9c7ab7874d7d44 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Tue, 29 Dec 2020 02:31:50 +0000
Subject: [PATCH] plumb log through, it works now really

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 templates/log-save.js | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/templates/log-save.js b/templates/log-save.js
index b192043f..eb813b6a 100644
--- a/templates/log-save.js
+++ b/templates/log-save.js
@@ -1,13 +1,12 @@
 <script>
     orig_console = window.console;
     window.console = (function(){
-        var saved = [ ];
-        var new_console = { saved: saved};
+        var new_console = { saved: [] };
         for (k of ['log','error','warn','info']) {
             (function(k){
                 var orig = orig_console[k];
                 new_console[k] = function() {
-                    saved.push([k, arguments]);
+                  new_console.saved.push([k, arguments]);
                     orig.apply(orig_console, arguments);
                 }
             })(k);
-- 
2.30.2