From 51188eb72a3d5a75bd2b0b9f7c5831f8320a7161 Mon Sep 17 00:00:00 2001
From: Sebastian Serth <Sebastian.Serth@hpi.de>
Date: Thu, 29 Oct 2020 12:39:01 +0100
Subject: [PATCH] Stop code prior to new run attempt

---
 app/assets/javascripts/editor/submissions.js | 1 +
 1 file changed, 1 insertion(+)

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));
     }