|
@@ -120,7 +120,10 @@ $(function() {
|
|
if (connection != null) {
|
|
if (connection != null) {
|
|
disconnect();
|
|
disconnect();
|
|
}
|
|
}
|
|
- var uri = 'ws://' + window.location.host + '/ws/';
|
|
|
|
|
|
+
|
|
|
|
+ var prot = document.location.protocol == 'https:' ? 'wss://' : 'ws://';
|
|
|
|
+
|
|
|
|
+ var uri = prot + window.location.host + '/ws/';
|
|
connection = new WebSocket(uri);
|
|
connection = new WebSocket(uri);
|
|
|
|
|
|
connection.onopen = function() {
|
|
connection.onopen = function() {
|