diff options
Diffstat (limited to 'js/codeq/python.js')
-rw-r--r-- | js/codeq/python.js | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/js/codeq/python.js b/js/codeq/python.js index 39077d8..e5b59c2 100644 --- a/js/codeq/python.js +++ b/js/codeq/python.js @@ -126,9 +126,9 @@ }; codeq.comms.on('terminal_output', function (data) { - var text = data.text; + var text = data.text, + lines = text.split('\n'); terminal.append(text, 'output'); - lines = text.split('\n'); terminal.leftmostCol = lines[lines.length-1].length; }); @@ -270,6 +270,7 @@ destroy: function () { jqAllButtons.off(); editor.off('change'); + codeq.comms.off('terminal_output'); // stop listening for the terminal events from server hinter.destroy(); terminal.destroy(); jqDescriptionContent.empty(); |