6a8552a664
The frontend previously used ws_url returned by /api/pico/token, which is built from the launcher's own port. Behind a reverse proxy this can produce incorrect URLs (e.g. ws://localhost:18800 instead of the proxy's public address). Since the launcher already proxies /pico/ws on the same port, the frontend can simply use window.location.host to construct the WebSocket URL, which is always correct regardless of proxy layers. Co-authored-by: Claude Opus 4.6 (1M context) <noreply@anthropic.com> |
||
|---|---|---|
| .. | ||
| controller.ts | ||
| history.ts | ||
| protocol.ts | ||
| state.ts | ||
| websocket.ts | ||