diff --git a/src/renderer/api/terminal-api.ts b/src/renderer/api/terminal-api.ts index d57d410eaf..8cca03538b 100644 --- a/src/renderer/api/terminal-api.ts +++ b/src/renderer/api/terminal-api.ts @@ -144,6 +144,14 @@ export class TerminalApi extends WebSocketApi { this.socket.binaryType = "arraybuffer"; } + destroy() { + if (!this.socket) return; + const controlCode = String.fromCharCode(4); // ctrl+d + + this.sendMessage({ type: TerminalChannels.STDIN, data: controlCode }); + setTimeout(() => super.destroy(), 2000); + } + reconnect() { super.reconnect(); }