diff options
| author | Nathan Hammond <github.com@nathanhammond.com> | 2012-03-07 21:31:08 -0500 |
|---|---|---|
| committer | Nathan Hammond <github.com@nathanhammond.com> | 2012-03-07 21:31:08 -0500 |
| commit | 8219427f95f5e40e04822e2e2371d7adedc11cdc (patch) | |
| tree | 426bce3f9f0e3692171f001b4c12fdd3f22a7a87 /src/shell.html | |
| parent | 1c1e00f1ddf6a816872991e3d10cbfcc38ff5134 (diff) | |
| parent | 84c9c225258ae9ab77eda0163b1368e95cb55f10 (diff) | |
Merge with @richardassar's changes.
Diffstat (limited to 'src/shell.html')
| -rw-r--r-- | src/shell.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/shell.html b/src/shell.html index a41086b9..2f34ace3 100644 --- a/src/shell.html +++ b/src/shell.html @@ -19,6 +19,7 @@ print: (function() { var element = document.getElementById('output'); return function(text) { + text = text.replace(/&/g, "&"); text = text.replace(/</g, "<"); text = text.replace(/>/g, ">"); text = text.replace('\n', '<br>', 'g'); |