diff options
| -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 31ac8c9c..ac86e5e0 100644 --- a/src/shell.html +++ b/src/shell.html @@ -15,6 +15,7 @@ var Module = { print: (function() { var element = document.getElementById('output'); + element.value = ''; // clear browser cache return function(text) { text = text.replace(/&/g, "&"); text = text.replace(/</g, "<"); |