Remove ws_client_protocol option

* The correct setting will be determined automatically

app/assets/javascripts/editor/execution.js

@@ -0,0 +1,62 @@
+CodeOceanEditorWebsocket = {
+  websocket: null,
+
+  createSocketUrl: function(url) {
+      const sockURL = new URL(url, window.location);
+      // not needed any longer, we put it directly into the url: sockURL.pathname = url;
+
+      // replace `http` with `ws` for the WebSocket connection. This also works with `https` and `wss`.
+      sockURL.protocol = sockURL.protocol.replace("http", "ws");
+
+      // strip anchor if it is in the url
+      sockURL.hash = '';
+
+      return sockURL.toString();
+  },
+
+  initializeSocket: function(url) {
+    this.websocket = new CommandSocket(this.createSocketUrl(url),
+        function (evt) {
+          this.resetOutputTab();
+        }.bind(this)
+    );
+    CodeOceanEditorWebsocket.websocket = this.websocket;
+    this.websocket.onError(this.showWebsocketError.bind(this));
+  },
+
+  initializeSocketForTesting: function(url) {
+    this.initializeSocket(url);
+    this.websocket.on('default',this.handleTestResponse.bind(this));
+    this.websocket.on('exit', this.handleExitCommand.bind(this));
+  },
+
+  initializeSocketForScoring: function(url) {
+    this.initializeSocket(url);
+    this.websocket.on('default',this.handleScoringResponse.bind(this));
+    this.websocket.on('hint', this.showHint.bind(this));
+    this.websocket.on('exit', this.handleExitCommand.bind(this));
+  },
+
+  initializeSocketForRunning: function(url) {
+    this.initializeSocket(url);
+    this.websocket.on('input',this.showPrompt.bind(this));
+    this.websocket.on('write', this.printWebsocketOutput.bind(this));
+    this.websocket.on('clear', this.clearOutput.bind(this));
+    this.websocket.on('turtle', this.handleTurtleCommand.bind(this));
+    this.websocket.on('turtlebatch', this.handleTurtlebatchCommand.bind(this));
+    this.websocket.on('render', this.renderWebsocketOutput.bind(this));
+    this.websocket.on('exit', this.handleExitCommand.bind(this));
+    this.websocket.on('timeout', this.showTimeoutMessage.bind(this));
+    this.websocket.on('status', this.showStatus.bind(this));
+    this.websocket.on('hint', this.showHint.bind(this));
+  },
+
+  handleExitCommand: function() {
+    this.killWebsocket();
+    this.handleQaApiOutput();
+    this.handleStderrOutputForFlowr();
+    this.augmentStacktraceInOutput();
+    this.cleanUpTurtle();
+    this.cleanUpUI();
+  }
+};