support multiple arguments to default html print, printErr

1 files changed, 2 insertions, 0 deletions

diff --git a/src/shell.html b/src/shell.html
index 3a0171de..4f39b26a 100644
--- a/src/shell.html
+++ b/src/shell.html
@@ -32,6 +32,7 @@
           var element = document.getElementById('output');
           element.value = ''; // clear browser cache
           return function(text) {
+            text = Array.prototype.slice.call(arguments).join(' ');
             // These replacements are necessary if you render to raw HTML
             //text = text.replace(/&/g, "&");
             //text = text.replace(/</g, "&lt;");
@@ -42,6 +43,7 @@
           };
         })(),
         printErr: function(text) {
+          text = Array.prototype.slice.call(arguments).join(' ');
           if (0) { // XXX disabled for safety typeof dump == 'function') {
             dump(text + '\n'); // fast, straight to the real console
           } else {