()
| 206 | } |
| 207 | |
| 208 | function getDefaultServer(): number | null { |
| 209 | const cfg = readConfig(); |
| 210 | return cfg.default_server_id ?? null; |
| 211 | } |
| 212 | |
| 213 | function saveDefaultServer(serverId: number | null): void { |
| 214 | writeConfig({ default_server_id: serverId }); |
no test coverage detected