Allow processId and name access on disposed API Terminals

This commit is contained in:
Daniel Imms
2018-04-11 10:21:32 -07:00
parent d0f6325130
commit 27cd6f537e

View File

@@ -51,12 +51,10 @@ export class ExtHostTerminal implements vscode.Terminal {
}
public get name(): string {
this._checkDisposed();
return this._name;
}
public get processId(): Thenable<number> {
this._checkDisposed();
return this._pidPromise;
}