diff options
Diffstat (limited to 'src/settings.js')
| -rw-r--r-- | src/settings.js | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/settings.js b/src/settings.js index 93f141ba..04571e8a 100644 --- a/src/settings.js +++ b/src/settings.js @@ -221,7 +221,8 @@ var SOCKET_WEBRTC = 0; // Select socket backend, either webrtc or websockets. // Module['websocket'] = {subprotocol: 'base64, binary, text'}; // Module['websocket'] = {url: 'wss://', subprotocol: 'base64'}; // Run time configuration may be useful as it lets an application select multiple different services. -var WEBSOCKET_URL = 'ws://'; // A string containing either a WebSocket URL prefix (ws:// or wss://) or a complete URL. +var WEBSOCKET_URL = 'ws://'; // A string containing either a WebSocket URL prefix (ws:// or wss://) or a complete + // RFC 6455 URL - "ws[s]:" "//" host [ ":" port ] path [ "?" query ]. // In the (default) case of only a prefix being specified the URL will be constructed from // prefix + addr + ':' + port // where addr and port are derived from the socket connect/bind/accept calls. |