Polish exit, fix input

This commit is contained in:
Daniel Imms
2018-04-18 14:02:41 -07:00
parent 2a822c7c1d
commit b7985f4157
3 changed files with 10 additions and 4 deletions

View File

@@ -243,9 +243,15 @@ export class ExtHostTerminalService implements ExtHostTerminalServiceShape {
}
public $acceptProcessResize(id: number, cols: number, rows: number): void {
console.log('send resize');
if (this._terminalProcesses[id].connected) {
this._terminalProcesses[id].send({ event: 'resize', cols, rows });
try {
this._terminalProcesses[id].send({ event: 'resize', cols, rows });
} catch (error) {
// We tried to write to a closed pipe / channel.
if (error.code !== 'EPIPE' && error.code !== 'ERR_IPC_CHANNEL_CLOSED') {
throw (error);
}
}
}
}
@@ -256,7 +262,6 @@ export class ExtHostTerminalService implements ExtHostTerminalServiceShape {
}
private _onProcessExit(id: number, exitCode: number): void {
console.log('exit');
// Remove listeners
const process = this._terminalProcesses[id];
process.removeAllListeners('message');