From aec4a8dd844a4361b1726be5e3c6a8527b9d732c Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 30 Dec 2020 12:58:42 +0000
Subject: [PATCH] fix log capture

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

diff --git a/templates/log-save.js b/templates/log-save.js
index eb813b6a..0bfeef4d 100644
--- a/templates/log-save.js
+++ b/templates/log-save.js
@@ -1,18 +1,18 @@
 <script>
     orig_console = window.console;
     window.console = (function(){
-        var new_console = { saved: [] };
-        for (k of ['log','error','warn','info']) {
-            (function(k){
-                var orig = orig_console[k];
-                new_console[k] = function() {
-                  new_console.saved.push([k, arguments]);
-                    orig.apply(orig_console, arguments);
-                }
-            })(k);
-        }
-        return new_console;
+      var new_console = { saved: [] };
+      for (k of ['log','error','warn','info']) {
+        (function(k){
+          var orig = orig_console[k];
+          new_console[k] = function() {
+            let args = [].slice.call(arguments);
+            new_console.saved.push([k, [args.map(s => s.toString())]]);
+            orig.apply(orig_console, arguments);
+          }
+        })(k);
+      }
+      return new_console;
     })();
-
     console.log('wdriver.rs console log starts');
 </script>
-- 
2.30.2