()
| 28 | } |
| 29 | |
| 30 | export function getDefaultServerUrl(): string | null { |
| 31 | const value = getStore().get(DEFAULT_SERVER_URL_KEY) |
| 32 | return typeof value === "string" ? value : null |
| 33 | } |
| 34 | |
| 35 | export function setDefaultServerUrl(url: string | null) { |
| 36 | if (url) { |