fix html special simbols in console output

9 years ago · 9ec130e7d2
parent ac92202ef6
commit 9ec130e7d2
1 changed files with 5 additions and 1 deletions
--- a/html/console.js
+++ b/html/console.js
@ -31,7 +31,11 @@ function updateText(resp) {
    if (resp.start > el.textEnd) {
      el.innerHTML = el.innerHTML.concat("\r\n<missing lines\r\n");
    }
-    el.innerHTML = el.innerHTML.concat(resp.text);
+    el.innerHTML = el.innerHTML.concat(resp.text
+       .replace(/&/g, '&amp;')
+       .replace(/</g, '&lt;')
+       .replace(/>/g, '&gt;')
+       .replace(/"/g, '&quot;'));
    el.textEnd = resp.start + resp.len;
    delay = 500;