File tree 1 file changed +10
-0
lines changed
arduino-ide-extension/src/browser
1 file changed +10
-0
lines changed Original file line number Diff line number Diff line change @@ -234,6 +234,16 @@ export class ArduinoFrontendContribution implements FrontendApplicationContribut
234
234
if ( ! details ) {
235
235
// Core is not installed for the selected board.
236
236
console . info ( `Could not start language server for ${ fqbn } . The core is not installed for the board.` ) ;
237
+ if ( this . languageServerFqbn ) {
238
+ try {
239
+ await this . commandRegistry . executeCommand ( 'arduino.languageserver.stop' ) ;
240
+ console . info ( `Stopped language server process for ${ this . languageServerFqbn } .` ) ;
241
+ this . languageServerFqbn = undefined ;
242
+ } catch ( e ) {
243
+ console . error ( `Failed to start language server process for ${ this . languageServerFqbn } ` , e ) ;
244
+ throw e ;
245
+ }
246
+ }
237
247
return ;
238
248
}
239
249
if ( fqbn === this . languageServerFqbn ) {
You can’t perform that action at this time.
0 commit comments