From 5c111f75717e542ec0be9b73b2ee1f1e495c629c Mon Sep 17 00:00:00 2001
From: Nate Sesti <sestinj@gmail.com>
Date: Wed, 2 Aug 2023 21:27:35 -0700
Subject: cleaning environmentSetup

---
 extension/src/continueIdeClient.ts | 7 -------
 1 file changed, 7 deletions(-)

(limited to 'extension/src/continueIdeClient.ts')

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(() => {
-- 
cgit v1.2.3-70-g09d2