()
| 402 | } |
| 403 | |
| 404 | public getSessionDetails(): IEditorServicesSessionDetails | undefined { |
| 405 | // This is used by the debugger which should have already called `start`. |
| 406 | if (this.sessionDetails === undefined) { |
| 407 | void this.logger.writeAndShowError( |
| 408 | "PowerShell session unavailable for debugging!", |
| 409 | ); |
| 410 | } |
| 411 | return this.sessionDetails; |
| 412 | } |
| 413 | |
| 414 | public async getLanguageServerPid(): Promise<number | undefined> { |
| 415 | if (this.languageServerProcess === undefined) { |
no test coverage detected