()
| 465 | } |
| 466 | |
| 467 | public start(): Disposable { |
| 468 | Workspace.onDidChangeConfiguration(this.onDidChangeConfiguration, this, this._listeners); |
| 469 | this.onDidChangeConfiguration(); |
| 470 | return new Disposable(() => { |
| 471 | if (this._client.needsStop()) { |
| 472 | this._client.stop(); |
| 473 | } |
| 474 | }); |
| 475 | } |
| 476 | |
| 477 | private onDidChangeConfiguration(): void { |
| 478 | let index = this._setting.indexOf('.'); |
no test coverage detected