diff --git a/src/renderer/api/terminal-api.ts b/src/renderer/api/terminal-api.ts index 8cca03538b..5f1acc9516 100644 --- a/src/renderer/api/terminal-api.ts +++ b/src/renderer/api/terminal-api.ts @@ -144,18 +144,6 @@ 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(); - } - sendMessage(message: TerminalMessage) { return this.send(serialize(message)); }