diff options
| author | Shreya Keshive <[email protected]> | 2025-08-11 12:27:45 -0400 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-08-11 16:27:45 +0000 |
| commit | b0b12af2ce843e560133ddc64511917264945072 (patch) | |
| tree | 7b2e112294267a0196d26f4063c8a987f4d4c735 /packages/core/src | |
| parent | 8dd6f04199f7d14c27595d960d2a84d4e189342b (diff) | |
Additional IDE integration polishes (#5985)
Diffstat (limited to 'packages/core/src')
| -rw-r--r-- | packages/core/src/ide/ide-client.ts | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/packages/core/src/ide/ide-client.ts b/packages/core/src/ide/ide-client.ts index 69329bee..5842a8a8 100644 --- a/packages/core/src/ide/ide-client.ts +++ b/packages/core/src/ide/ide-client.ts @@ -215,13 +215,18 @@ export class IdeClient { // disconnected, so that the first detail message is preserved. if (!isAlreadyDisconnected) { this.state = { status, details }; - if (logToConsole) { - logger.error(details); + if (details) { + if (logToConsole) { + logger.error(details); + } else { + // We only want to log disconnect messages to debug + // if they are not already being logged to the console. + logger.debug(details); + } } } if (status === IDEConnectionStatus.Disconnected) { - logger.debug(details); ideContext.clearIdeContext(); } } @@ -260,7 +265,7 @@ export class IdeClient { if (!port) { this.setState( IDEConnectionStatus.Disconnected, - `Failed to connect to IDE companion extension for ${this.currentIdeDisplayName}. Please ensure the extension is running and try refreshing your terminal. To install the extension, run /ide install.`, + `Failed to connect to IDE companion extension for ${this.currentIdeDisplayName}. Please ensure the extension is running and try restarting your terminal. To install the extension, run /ide install.`, true, ); return undefined; @@ -339,7 +344,7 @@ export class IdeClient { } catch (_error) { this.setState( IDEConnectionStatus.Disconnected, - `Failed to connect to IDE companion extension for ${this.currentIdeDisplayName}. Please ensure the extension is running and try refreshing your terminal. To install the extension, run /ide install.`, + `Failed to connect to IDE companion extension for ${this.currentIdeDisplayName}. Please ensure the extension is running and try restarting your terminal. To install the extension, run /ide install.`, true, ); if (transport) { |
