1 files changed, 1 insertions, 0 deletions
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();