(wsUrl: string | undefined)
| 112 | } |
| 113 | let hmrWsUrl: string | undefined = undefined; |
| 114 | export function setHMRWsUrl(wsUrl: string | undefined) { |
| 115 | hmrWsUrl = wsUrl; |
| 116 | } |
| 117 | export function getHMRWsUrl(): string | undefined { |
| 118 | return hmrWsUrl; |
| 119 | } |