diff options
Diffstat (limited to 'os/emscripten/pre.js')
-rw-r--r-- | os/emscripten/pre.js | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/os/emscripten/pre.js b/os/emscripten/pre.js index 82664004e..2fb641017 100644 --- a/os/emscripten/pre.js +++ b/os/emscripten/pre.js @@ -9,7 +9,15 @@ Module['websocket'] = { url: function(host, port, proto) { * If you run your own server you can setup your own WebSocket proxy in * front of it and let people connect to your server via the proxy. You * are best to add another "if" statement as above for this. */ - return null; + + if (location.protocol === 'https:') { + /* Insecure WebSockets do not work over HTTPS, so we force + * secure ones. */ + return 'wss://'; + } else { + /* Use the default provided by Emscripten. */ + return null; + } } }; Module.preRun.push(function() { |