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