fix log capture

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/templates/log-save.js b/templates/log-save.js
index eb813b6a944d89406955fe959e0d60ba1affd50c..0bfeef4d8bb3ffcd5c997e32b9ac99564b12118d 100644 (file)
--- 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>