From 62233784131e896c2c76f38b2fc993915f04d468 Mon Sep 17 00:00:00 2001
From: Jan Renz <jan.renz@gmail.com>
Date: Fri, 16 Oct 2015 10:30:42 +0200
Subject: [PATCH] use wss

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

diff --git a/app/assets/javascripts/editor.js b/app/assets/javascripts/editor.js
index 160cf315..9508f3b0 100644
--- a/app/assets/javascripts/editor.js
+++ b/app/assets/javascripts/editor.js
@@ -1099,7 +1099,7 @@ $(function() {
   };
 
   var initWebsocketConnection = function(url) {
-      websocket = new WebSocket('ws://' + window.location.hostname + ':' + window.location.port + url);
+      websocket = new WebSocket('wss://' + window.location.hostname + ':' + window.location.port + url);
       websocket.onopen = function(evt) { resetOutputTab(); }; // todo show some kind of indicator for established connection
       websocket.onclose = function(evt) { /* expected at some point */ };
       websocket.onmessage = function(evt) { parseCanvasMessage(evt.data, true); };