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() {