diff options
| -rw-r--r-- | js/codeq/prolog.js | 1 | ||||
| -rw-r--r-- | js/codeq/python.js | 1 | ||||
| -rw-r--r-- | js/codeq/robot.js | 1 |
3 files changed, 3 insertions, 0 deletions
diff --git a/js/codeq/prolog.js b/js/codeq/prolog.js index d2d521f..017dee2 100644 --- a/js/codeq/prolog.js +++ b/js/codeq/prolog.js @@ -349,6 +349,7 @@ $('#screen_prolog .title').text('');//empty the title text jqAllButtons.off(); editor.off('change'); + activityHandler.flush(); hinter.destroy(); terminal.destroy(); jqDescriptionContent.empty(); diff --git a/js/codeq/python.js b/js/codeq/python.js index 440b5f7..49b6ccf 100644 --- a/js/codeq/python.js +++ b/js/codeq/python.js @@ -319,6 +319,7 @@ jqAllButtons.off(); editor.off('change'); codeq.comms.off('terminal_output'); // stop listening for the terminal events from server + activityHandler.flush(); hinter.destroy(); terminal.destroy(); jqDescriptionContent.empty(); diff --git a/js/codeq/robot.js b/js/codeq/robot.js index 1752f31..2545f1e 100644 --- a/js/codeq/robot.js +++ b/js/codeq/robot.js @@ -284,6 +284,7 @@ jqAllButtons.off(); editor.off('change'); codeq.comms.off('terminal_output'); // stop listening for the terminal events from server + activityHandler.flush(); hinter.destroy(); terminal.destroy(); jqDescriptionContent.empty(); |