diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/shell.html | 9 |
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, "<"); - text = text.replace(/>/g, ">"); - text = text.replace('\n', '<br>', 'g'); + // These replacements are necessary if you render to raw HTML + //text = text.replace(/&/g, "&"); + //text = text.replace(/</g, "<"); + //text = text.replace(/>/g, ">"); + //text = text.replace('\n', '<br>', 'g'); element.value += text + "\n"; }; })(), |