From 0ddcf3a5bb87e87cfcac3313dc4bba130bef2374 Mon Sep 17 00:00:00 2001
From: Ralf Teusner <ralf.teusner@hpi.de>
Date: Fri, 3 Feb 2017 18:29:22 +0100
Subject: [PATCH] remove # from socket url...

---
 app/assets/javascripts/editor/execution.js.erb | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/app/assets/javascripts/editor/execution.js.erb b/app/assets/javascripts/editor/execution.js.erb
index 668ca81a..8d2c744e 100644
--- a/app/assets/javascripts/editor/execution.js.erb
+++ b/app/assets/javascripts/editor/execution.js.erb
@@ -6,7 +6,8 @@ CodeOceanEditorWebsocket = {
       sockURL.pathname = url;
       sockURL.protocol = '<%= DockerClient.config['ws_client_protocol'] %>';
 
-      return sockURL.toString();
+      //return the URL, but strip last # if there is one...
+      return sockURL.toString().replace(/#$/,'');
   },
 
   initializeSocket: function(url) {