diff --git a/app/assets/javascripts/editor/evaluation.js b/app/assets/javascripts/editor/evaluation.js
index ce82f10c..d2b0dea9 100644
--- a/app/assets/javascripts/editor/evaluation.js
+++ b/app/assets/javascripts/editor/evaluation.js
@@ -106,6 +106,7 @@ CodeOceanEditorEvaluation = {
     }
 
     this.websocket.killWebSocket();
+    this.websocket.onError(_.noop);
     this.running = false;
   },