From b6b52bb92b1938e6a37d0f455c64f3651fb01934 Mon Sep 17 00:00:00 2001
From: Sebastian Malton <sebastian@malton.name>
Date: Wed, 8 Dec 2021 16:33:08 -0500
Subject: [PATCH] Remove unnecesarry TerminalApi.destroy and
 TerminalApi.reconnect overloads

Signed-off-by: Sebastian Malton <sebastian@malton.name>
---
 src/renderer/api/terminal-api.ts | 12 ------------
 1 file changed, 12 deletions(-)

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<TerminalEvents> {
     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));
   }