()
| 215 | } |
| 216 | |
| 217 | function removeDefaultServer(): void { |
| 218 | try { |
| 219 | // Only clear default_server_id while preserving other settings |
| 220 | const cfg = readConfig(); |
| 221 | delete cfg.default_server_id; |
| 222 | fs.writeFileSync(SPEEDTEST_JSON, JSON.stringify(cfg)); |
| 223 | } catch (error: any) { |
| 224 | console.error("Failed to remove default server:", error); |
| 225 | } |
| 226 | } |
| 227 | |
| 228 | function getPreferredType(): MessageType | null { |
| 229 | const cfg = readConfig(); |
no test coverage detected