diff options
author | Nate Sesti <sestinj@gmail.com> | 2023-07-25 23:46:34 -0700 |
---|---|---|
committer | Nate Sesti <sestinj@gmail.com> | 2023-07-25 23:46:34 -0700 |
commit | 932925ccc90096c7869797faa00b95c8ac1eff0e (patch) | |
tree | 5dd46726d5f7fcc3e6fa7424da9d013a71fe2651 /extension/src/util | |
parent | 6e0c1dece5d9331ebb558d6ae85a99f8db379177 (diff) | |
download | sncontinue-932925ccc90096c7869797faa00b95c8ac1eff0e.tar.gz sncontinue-932925ccc90096c7869797faa00b95c8ac1eff0e.tar.bz2 sncontinue-932925ccc90096c7869797faa00b95c8ac1eff0e.zip |
correctly ignore directories in file context prov
Diffstat (limited to 'extension/src/util')
-rw-r--r-- | extension/src/util/messenger.ts | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/extension/src/util/messenger.ts b/extension/src/util/messenger.ts index e28040f5..be4233b2 100644 --- a/extension/src/util/messenger.ts +++ b/extension/src/util/messenger.ts @@ -106,14 +106,11 @@ export class WebsocketMessenger extends Messenger { send(messageType: string, data: object) { const payload = JSON.stringify({ messageType, data }); if (this.websocket.readyState === this.websocket.OPEN) { - console.log("websocket is open, sending message: ", messageType); this.websocket.send(payload); } else { - console.log("websocket is not open, creating new websocket", messageType); this.websocket = this._newWebsocket(); this.websocket.addEventListener("open", () => { - console.log("websocket is open, resending message: ", messageType); this.websocket.send(payload); }); } |