summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNate Sesti <sestinj@gmail.com>2023-08-14 13:40:07 -0700
committerNate Sesti <sestinj@gmail.com>2023-08-14 13:40:07 -0700
commitd9475e56951b07ad72b9ecde2dcd61a80afe78ae (patch)
treea256a1a1bd75e75102f99859f319a11e00f79c81
parent52f4273be3d20c983cd0d62bc4d4f4d945b72b00 (diff)
downloadsncontinue-d9475e56951b07ad72b9ecde2dcd61a80afe78ae.tar.gz
sncontinue-d9475e56951b07ad72b9ecde2dcd61a80afe78ae.tar.bz2
sncontinue-d9475e56951b07ad72b9ecde2dcd61a80afe78ae.zip
logging
-rw-r--r--extension/src/activation/environmentSetup.ts7
1 files changed, 6 insertions, 1 deletions
diff --git a/extension/src/activation/environmentSetup.ts b/extension/src/activation/environmentSetup.ts
index f64f13bf..489bb093 100644
--- a/extension/src/activation/environmentSetup.ts
+++ b/extension/src/activation/environmentSetup.ts
@@ -147,6 +147,8 @@ export async function downloadFromS3(
}
export async function startContinuePythonServer(redownload: boolean = true) {
+ console.log("Starting Continue Python");
+
// Check vscode settings
const serverUrl = getContinueServerUrl();
if (serverUrl !== "http://localhost:65432") {
@@ -154,6 +156,7 @@ export async function startContinuePythonServer(redownload: boolean = true) {
return;
}
+ console.log("1");
// Check if server is already running
if (await checkOrKillRunningServer(serverUrl)) {
console.log("Continue server already running");
@@ -177,6 +180,7 @@ export async function startContinuePythonServer(redownload: boolean = true) {
);
// First, check if the server is already downloaded
+ console.log("2");
let shouldDownload = true;
if (fs.existsSync(destination)) {
// Check if the server is the correct version
@@ -191,6 +195,7 @@ export async function startContinuePythonServer(redownload: boolean = true) {
}
}
+ console.log("3");
if (shouldDownload && redownload) {
await vscode.window.withProgress(
{
@@ -223,7 +228,7 @@ export async function startContinuePythonServer(redownload: boolean = true) {
}
// Run the executable
- console.log("Starting Continue server");
+ console.log("---- Starting Continue server ----");
let attempts = 0;
let maxAttempts = 5;
let delay = 1000; // Delay between each attempt in milliseconds