update shell.html output for textarea

1 files changed, 5 insertions, 4 deletions

diff --git a/src/shell.html b/src/shell.html
index ac86e5e0..50f4f012 100644
--- a/src/shell.html
+++ b/src/shell.html
@@ -17,10 +17,11 @@
           var element = document.getElementById('output');
           element.value = ''; // clear browser cache
           return function(text) {
-            text = text.replace(/&/g, "&");
-            text = text.replace(/</g, "&lt;");
-            text = text.replace(/>/g, "&gt;");
-            text = text.replace('\n', '<br>', 'g');
+            // These replacements are necessary if you render to raw HTML
+            //text = text.replace(/&/g, "&amp;");
+            //text = text.replace(/</g, "&lt;");
+            //text = text.replace(/>/g, "&gt;");
+            //text = text.replace('\n', '<br>', 'g');
             element.value += text + "\n";
           };
         })(),