diff options
Diffstat (limited to 'src/vs/workbench/api/common/extHostTerminalService.ts')
| -rw-r--r-- | src/vs/workbench/api/common/extHostTerminalService.ts | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/vs/workbench/api/common/extHostTerminalService.ts b/src/vs/workbench/api/common/extHostTerminalService.ts index f27f16dca52..0f5ebe088fb 100644 --- a/src/vs/workbench/api/common/extHostTerminalService.ts +++ b/src/vs/workbench/api/common/extHostTerminalService.ts @@ -10,7 +10,7 @@ import { createDecorator } from 'vs/platform/instantiation/common/instantiation' import { URI } from 'vs/base/common/uri'; import { IExtHostRpcService } from 'vs/workbench/api/common/extHostRpcService'; import { IDisposable, DisposableStore, Disposable } from 'vs/base/common/lifecycle'; -import { Disposable as VSCodeDisposable, EnvironmentVariableMutatorType } from './extHostTypes'; +import { Disposable as VSCodeDisposable, EnvironmentVariableMutatorType, TerminalExitReason } from './extHostTypes'; import { IExtensionDescription } from 'vs/platform/extensions/common/extensions'; import { localize } from 'vs/nls'; import { NotSupportedError } from 'vs/base/common/errors'; @@ -203,8 +203,8 @@ export class ExtHostTerminal { this._name = name; } - public setExitCode(code: number | undefined) { - this._exitStatus = Object.freeze({ code }); + public setExitStatus(code: number | undefined, reason: TerminalExitReason) { + this._exitStatus = Object.freeze({ code, reason }); } public setDimensions(cols: number, rows: number): boolean { @@ -500,11 +500,11 @@ export abstract class BaseExtHostTerminalService extends Disposable implements I } } - public async $acceptTerminalClosed(id: number, exitCode: number | undefined): Promise<void> { + public async $acceptTerminalClosed(id: number, exitCode: number | undefined, exitReason: TerminalExitReason): Promise<void> { const index = this._getTerminalObjectIndexById(this._terminals, id); if (index !== null) { const terminal = this._terminals.splice(index, 1)[0]; - terminal.setExitCode(exitCode); + terminal.setExitStatus(exitCode, exitReason); this._onDidCloseTerminal.fire(terminal.value); } } |