diff options
Diffstat (limited to 'extension/src')
| -rw-r--r-- | extension/src/activation/environmentSetup.ts | 8 | ||||
| -rw-r--r-- | extension/src/debugPanel.ts | 17 |
2 files changed, 17 insertions, 8 deletions
diff --git a/extension/src/activation/environmentSetup.ts b/extension/src/activation/environmentSetup.ts index 44fb3b60..146a6e37 100644 --- a/extension/src/activation/environmentSetup.ts +++ b/extension/src/activation/environmentSetup.ts @@ -487,6 +487,14 @@ export async function startContinuePythonServer() { console.log(`error: ${error.message}`); }); + child.on("close", (code: any) => { + console.log(`child process exited with code ${code}`); + }); + + child.stdout.on("data", (data: any) => { + console.log(`stdout: ${data}`); + }); + // Write the current version of vscode to a file called server_version.txt fs.writeFileSync(serverVersionPath(), getExtensionVersion()); } catch (e) { diff --git a/extension/src/debugPanel.ts b/extension/src/debugPanel.ts index 4785ba20..d3972189 100644 --- a/extension/src/debugPanel.ts +++ b/extension/src/debugPanel.ts @@ -211,15 +211,16 @@ export function setupDebugPanel( let url = data.url; if (typeof websocketConnections[url] === "undefined") { await connectWebsocket(url); + } else { + console.log( + "Websocket connection requested by GUI already open at", + url + ); + panel.webview.postMessage({ + type: "websocketForwardingOpen", + url, + }); } - console.log( - "Websocket connection requested by GUI already open at", - url - ); - panel.webview.postMessage({ - type: "websocketForwardingOpen", - url, - }); break; } case "websocketForwardingMessage": { |