summaryrefslogtreecommitdiff
path: root/os
diff options
context:
space:
mode:
Diffstat (limited to 'os')
-rw-r--r--os/emscripten/pre.js10
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() {