From 95f90def8a1ba130bde89cff4fcf6ef284e0c4fd Mon Sep 17 00:00:00 2001
From: Tom Staubitz <thomas.staubitz@hpi.uni-potsdam.de>
Date: Wed, 18 Jan 2017 13:51:46 +0100
Subject: [PATCH] fix previous

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

diff --git a/app/assets/javascripts/editor/execution.js.erb b/app/assets/javascripts/editor/execution.js.erb
index 2f19d69f..668ca81a 100644
--- a/app/assets/javascripts/editor/execution.js.erb
+++ b/app/assets/javascripts/editor/execution.js.erb
@@ -3,7 +3,7 @@ CodeOceanEditorWebsocket = {
 
   createSocketUrl: function(url) {
       var sockURL = new URL(window.location);
-      sockURL.path = url;
+      sockURL.pathname = url;
       sockURL.protocol = '<%= DockerClient.config['ws_client_protocol'] %>';
 
       return sockURL.toString();