Replace JS comparison with safe variant

2020-10-29 13:47:36 +01:00
parent 1a20c70c41
commit 7758d39970
1 changed files with 1 additions and 1 deletions
--- 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;
        }