diff --git a/app/assets/javascripts/editor/submissions.js b/app/assets/javascripts/editor/submissions.js index ec80c0b2..fd1f1c78 100644 --- a/app/assets/javascripts/editor/submissions.js +++ b/app/assets/javascripts/editor/submissions.js @@ -155,6 +155,7 @@ CodeOceanEditorSubmissions = { */ runCode: function(event) { event.preventDefault(); + this.stopCode(event); if ($('#run').is(':visible')) { this.createSubmission('#run', null, this.runSubmission.bind(this)); }