Error in http/https detection.

window.location.protocol return "https:", not "https://"

html/js/network_ts.js

@@ -16,7 +16,7 @@ var Server = /** @class */ (function () {
             case "http:":
                 this.protocol = "ws://";
                 break;
-            case "https://":
+            case "https:":
                 this.protocol = "wss://";
                 break;
         }