(input: string)
| 85 | } |
| 86 | |
| 87 | function toHttpUrl(input: string): string { |
| 88 | if (input.startsWith("ws://")) return `http://${input.slice("ws://".length)}`; |
| 89 | if (input.startsWith("wss://")) return `https://${input.slice("wss://".length)}`; |
| 90 | return input; |
| 91 | } |