Disable a server and disconnect it.
(name: string)
| 154 | |
| 155 | /** Disable a server and disconnect it. */ |
| 156 | async disableServer(name: string): Promise<void> { |
| 157 | this.disabled.add(name) |
| 158 | this.enabled.delete(name) |
| 159 | const state = this.states.get(name) |
| 160 | if (state) state.disabled = true |
| 161 | await this.disconnectOne(name) |
| 162 | } |
| 163 | |
| 164 | /** Permanently remove a server: disconnect, drop from the in-memory |
| 165 | * config/state, and remove from the on-disk config (whichever scope it |
no test coverage detected