()
| 273 | } |
| 274 | |
| 275 | stop() { |
| 276 | this.session = undefined; |
| 277 | this.fileCache = undefined; |
| 278 | for (const uri of this.published) this.connection.sendDiagnostics({ uri, diagnostics: [] }); |
| 279 | this.published.clear(); |
| 280 | } |
| 281 | |
| 282 | restart() { |
| 283 | this.stop(); |
no test coverage detected