From bf6a343e2b1e095879a2790cb0d05011103b4ff0 Mon Sep 17 00:00:00 2001
From: Sebastian Serth <Sebastian.Serth@hpi.de>
Date: Thu, 5 Mar 2020 14:53:46 +0100
Subject: [PATCH] Set onError binding to underscore's no-op

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

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