Always use latest websocket connection for Turtle events

2020-03-07 23:24:33 +01:00
parent 0b9cf0bd45
commit 24b9148a42
2 changed files with 16 additions and 13 deletions
--- a/app/assets/javascripts/editor/execution.js.erb
+++ b/app/assets/javascripts/editor/execution.js.erb
@@ -20,6 +20,7 @@ CodeOceanEditorWebsocket = {
          this.resetOutputTab();
        }.bind(this)
    );
+    CodeOceanEditorWebsocket.websocket = this.websocket;
    this.websocket.onError(this.showWebsocketError.bind(this));
  },