clear html debug output

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, "&lt;");