diff options
author | Ty Dunn <ty@tydunn.com> | 2023-06-29 10:55:08 -0700 |
---|---|---|
committer | Ty Dunn <ty@tydunn.com> | 2023-06-29 10:55:08 -0700 |
commit | d03918f6b6bd42d6342b1e988020c302580cf049 (patch) | |
tree | 326617926e03c6d5a95e8c31cce4028803a865b5 /extension/src/util/messenger.ts | |
parent | 60ea270a4521b01acebbb6f6199d0fb9130449a7 (diff) | |
parent | 178c784639de9cd052d3cfb56183a584ab885549 (diff) | |
download | sncontinue-d03918f6b6bd42d6342b1e988020c302580cf049.tar.gz sncontinue-d03918f6b6bd42d6342b1e988020c302580cf049.tar.bz2 sncontinue-d03918f6b6bd42d6342b1e988020c302580cf049.zip |
Merge branch 'main' of github.com:continuedev/continue
Diffstat (limited to 'extension/src/util/messenger.ts')
-rw-r--r-- | extension/src/util/messenger.ts | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/extension/src/util/messenger.ts b/extension/src/util/messenger.ts index 6f8bb29d..e4133230 100644 --- a/extension/src/util/messenger.ts +++ b/extension/src/util/messenger.ts @@ -54,6 +54,14 @@ export class WebsocketMessenger extends Messenger { super(); this.serverUrl = serverUrl; this.websocket = this._newWebsocket(); + + const interval = setInterval(() => { + if (this.websocket.readyState === this.websocket.OPEN) { + clearInterval(interval); + } else if (this.websocket.readyState !== this.websocket.CONNECTING) { + this.websocket = this._newWebsocket(); + } + }, 1000); } send(messageType: string, data: object) { |