(serverId: number | null)
| 211 | try { |
| 212 | // Only clear default_server_id while preserving other settings |
| 213 | const cfg = readConfig(); |
| 214 | delete cfg.default_server_id; |
| 215 | fs.writeFileSync(SPEEDTEST_JSON, JSON.stringify(cfg)); |
| 216 | } catch (error: any) { |
| 217 | console.error("Failed to remove default server:", error); |
| 218 | } |
no test coverage detected