diff options
author | Nate Sesti <33237525+sestinj@users.noreply.github.com> | 2023-08-03 01:16:34 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-08-03 01:16:34 -0700 |
commit | 9c3f3e1aadddc0f77736a0078a204f7ab082be8d (patch) | |
tree | 19941667006e92ee3204c9d76f13521bd27621f2 /extension/src/continueIdeClient.ts | |
parent | 9c07a0ee6cc4eb12518ecab894b197562837e737 (diff) | |
parent | 01ea5e221db410c1ac1e138caa80a6385458fe9b (diff) | |
download | sncontinue-9c3f3e1aadddc0f77736a0078a204f7ab082be8d.tar.gz sncontinue-9c3f3e1aadddc0f77736a0078a204f7ab082be8d.tar.bz2 sncontinue-9c3f3e1aadddc0f77736a0078a204f7ab082be8d.zip |
Merge pull request #337 from continuedev/package-python
Package python
Diffstat (limited to 'extension/src/continueIdeClient.ts')
-rw-r--r-- | extension/src/continueIdeClient.ts | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/extension/src/continueIdeClient.ts b/extension/src/continueIdeClient.ts index 220edafa..1fa41383 100644 --- a/extension/src/continueIdeClient.ts +++ b/extension/src/continueIdeClient.ts @@ -15,10 +15,6 @@ import { FileEditWithFullContents } from "../schema/FileEditWithFullContents"; import fs = require("fs"); import { WebsocketMessenger } from "./util/messenger"; import { diffManager } from "./diffs"; -import path = require("path"); -import { registerAllCodeLensProviders } from "./lang-server/codeLens"; -import { registerAllCommands } from "./commands"; -import registerQuickFixProvider from "./lang-server/codeActions"; const os = require("os"); const continueVirtualDocumentScheme = "continue"; @@ -45,7 +41,6 @@ class IdeProtocolClient { this.messenger = messenger; const reconnect = () => { - console.log("Trying to reconnect IDE protocol websocket..."); this.messenger = null; // Exponential backoff to reconnect @@ -62,11 +57,9 @@ class IdeProtocolClient { this._lastReloadTime = Math.min(2 * this._lastReloadTime, 5000); }; messenger.onOpen(() => { - console.log("IDE protocol websocket opened"); this._reconnectionTimeouts.forEach((to) => clearTimeout(to)); }); messenger.onClose(() => { - console.log("IDE protocol websocket closed"); reconnect(); }); messenger.onError(() => { |