From 7758d3997065684500019cae064f96ff8cac7978 Mon Sep 17 00:00:00 2001
From: Sebastian Serth <Sebastian.Serth@hpi.de>
Date: Thu, 29 Oct 2020 13:47:36 +0100
Subject: [PATCH] Replace JS comparison with safe variant

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

diff --git a/app/assets/javascripts/editor/evaluation.js b/app/assets/javascripts/editor/evaluation.js
index b2b8cf82..4c40a9e7 100644
--- a/app/assets/javascripts/editor/evaluation.js
+++ b/app/assets/javascripts/editor/evaluation.js
@@ -126,7 +126,7 @@ CodeOceanEditorEvaluation = {
     },
 
     killWebsocket: function () {
-        if (this.websocket != null && this.websocket.getReadyState() != WebSocket.OPEN) {
+        if (this.websocket != null && this.websocket.getReadyState() !== WebSocket.OPEN) {
             return;
         }