properly handle html-unfriendly print() output

1 files changed, 4 insertions, 1 deletions

diff --git a/src/shell.html b/src/shell.html
index 69217b18..a41086b9 100644
--- a/src/shell.html
+++ b/src/shell.html
@@ -19,7 +19,10 @@
         print: (function() {
           var element = document.getElementById('output');
           return function(text) {
-            element.innerHTML += text.replace('\n', '<br>', 'g') + '<br>';
+            text = text.replace(/</g, "&lt;");
+            text = text.replace(/>/g, "&gt;");
+            text = text.replace('\n', '<br>', 'g');
+            element.innerHTML += text + '<br>';
           };
         })(),
         canvas: document.getElementById('canvas')