From a2ee3c4d5d84a1c3212ba34ce19ef6efdddb2569 Mon Sep 17 00:00:00 2001 From: Alex Andreev Date: Wed, 16 Feb 2022 17:05:25 +0300 Subject: [PATCH] Fix: closing terminal tab error (#4874) --- src/renderer/api/websocket-api.ts | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/renderer/api/websocket-api.ts b/src/renderer/api/websocket-api.ts index c6ca434058..398e02c3e2 100644 --- a/src/renderer/api/websocket-api.ts +++ b/src/renderer/api/websocket-api.ts @@ -65,7 +65,7 @@ export interface WebSocketEvents { type Defaulted = Required> & Omit; export class WebSocketApi extends (EventEmitter as { new(): TypedEventEmitter }) { - protected socket: WebSocket; + protected socket?: WebSocket | null; protected pendingCommands: (string | ArrayBufferLike | Blob | ArrayBufferView)[] = []; protected reconnectTimer?: any; protected pingTimer?: any; @@ -181,7 +181,7 @@ export class WebSocketApi extends (EventEmitter if (error) { const { reconnectDelay } = this.params; - if (reconnectDelay) { + if (reconnectDelay && this.socket) { const url = this.socket.url; this.writeLog("will reconnect in", `${reconnectDelay}s`);