diff options
Diffstat (limited to 'js/codeq/robot.js')
-rw-r--r-- | js/codeq/robot.js | 1 |
1 files changed, 1 insertions, 0 deletions
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(); |