(error: Error, message: Message, count: number)
| 2797 | } |
| 2798 | |
| 2799 | private handleConnectionError(error: Error, message: Message, count: number) { |
| 2800 | let action = this._clientOptions.errorHandler!.error(error, message, count); |
| 2801 | if (action === ErrorAction.Shutdown) { |
| 2802 | this.error('Connection to server is erroring. Shutting down server.') |
| 2803 | this.stop(); |
| 2804 | } |
| 2805 | } |
| 2806 | |
| 2807 | private hookConfigurationChanged(connection: IConnection): void { |
| 2808 | Workspace.onDidChangeConfiguration(() => { |