Fix websocket port handling (streamlit#263)

* handle websocket port differently * remove streamlit whl
shengmingqijiquan · Oct 4, 2019 · 9e4edd3 · 9e4edd3
1 parent f3bcf40
commit 9e4edd3
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/frontend/src/lib/UriUtil.ts b/frontend/src/lib/UriUtil.ts
@@ -33,7 +33,13 @@ export function getWindowBaseUriParts(): BaseUriParts {
   // server's port 3000.
   // If changed, also change config.py
   const host = window.location.hostname
-  const port = IS_DEV_ENV ? WEBSOCKET_PORT_DEV : Number(window.location.port)
+  const port = IS_DEV_ENV
+    ? WEBSOCKET_PORT_DEV
+    : window.location.port
+    ? Number(window.location.port)
+    : isHttps()
+    ? 443
+    : 80
   return { host, port }
 }