diff options
| -rw-r--r-- | .github/workflows/main.yaml | 2 | ||||
| -rw-r--r-- | extension/server/.gitignore | 3 | ||||
| -rw-r--r-- | extension/src/activation/environmentSetup.ts | 11 |
3 files changed, 9 insertions, 7 deletions
diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml index e545e8d4..9475ba68 100644 --- a/.github/workflows/main.yaml +++ b/.github/workflows/main.yaml @@ -49,7 +49,7 @@ jobs: needs: pyinstaller strategy: matrix: - os: [windows-latest] + os: [macos-latest, ubuntu-20.04, windows-latest] runs-on: ${{ matrix.os }} diff --git a/extension/server/.gitignore b/extension/server/.gitignore index d501b5cd..62d82aec 100644 --- a/extension/server/.gitignore +++ b/extension/server/.gitignore @@ -1,2 +1,3 @@ **.whl -exe/**
\ No newline at end of file +exe/** +exe
\ No newline at end of file diff --git a/extension/src/activation/environmentSetup.ts b/extension/src/activation/environmentSetup.ts index 3ff9137e..e45df05e 100644 --- a/extension/src/activation/environmentSetup.ts +++ b/extension/src/activation/environmentSetup.ts @@ -186,6 +186,7 @@ export async function startContinuePythonServer() { console.log("Continue server already downloaded"); shouldDownload = false; } else { + console.log("Old version of the server downloaded"); fs.unlinkSync(destination); } } @@ -201,9 +202,9 @@ export async function startContinuePythonServer() { await downloadFromS3(bucket, fileName, destination, "us-west-1"); } ); + console.log("Downloaded server executable at ", destination); } - console.log("Downloaded server executable at ", destination); // Get name of the corresponding executable for platform if (os.platform() === "darwin") { // Add necessary permissions @@ -245,16 +246,16 @@ export async function startContinuePythonServer() { detached: true, stdio: "ignore", }; - const settings: any = - os.platform() === "win32" ? windowsSettings : macLinuxSettings; + const settings: any = windowsSettings; + // os.platform() === "win32" ? windowsSettings : macLinuxSettings; // Spawn the server const child = spawn(destination, settings); // Either unref to avoid zombie process, or listen to events because you can - if (os.platform() === "win32") { + if (os.platform() === "win32" || true) { child.stdout.on("data", (data: any) => { - // console.log(`stdout: ${data}`); + console.log(`stdout: ${data}`); }); child.stderr.on("data", (data: any) => { console.log(`stderr: ${data}`); |