From e1a0290d5a699e30464f1e682cb11c6aa119bd59 Mon Sep 17 00:00:00 2001 From: Nate Sesti Date: Sat, 2 Sep 2023 15:02:18 -0700 Subject: fix: :bug: fix timeout type --- extension/src/activation/environmentSetup.ts | 16 ++++++++++++++-- 1 file changed, 14 insertions(+), 2 deletions(-) (limited to 'extension/src/activation/environmentSetup.ts') diff --git a/extension/src/activation/environmentSetup.ts b/extension/src/activation/environmentSetup.ts index 3aa536d0..9be495ff 100644 --- a/extension/src/activation/environmentSetup.ts +++ b/extension/src/activation/environmentSetup.ts @@ -236,7 +236,13 @@ export async function startContinuePythonServer(redownload: boolean = true) { } if (shouldDownload && redownload) { - await vscode.window.withProgress( + let timeout = setTimeout(() => { + vscode.window.showErrorMessage( + `It looks like the Continue server is taking a while to download. If this persists, you can manually download the binary or run it from source: https://continue.dev/docs/troubleshooting#run-the-server-manually.` + ); + }, 20_000); + + let download = vscode.window.withProgress( { location: vscode.ProgressLocation.Notification, title: "Installing Continue server...", @@ -246,7 +252,13 @@ export async function startContinuePythonServer(redownload: boolean = true) { await downloadFromS3(bucket, fileName, destination, "us-west-1"); } ); - console.log("Downloaded server executable at ", destination); + try { + await download; + console.log("Downloaded server executable at ", destination); + clearTimeout(timeout); + } catch (e) { + console.log("Failed to download server executable", e); + } } // Get name of the corresponding executable for platform -- cgit v1.2.3-70-g09d2