propagate ext terminal errrors; fixes #92380

This commit is contained in:
Andre Weinand
2020-03-10 17:58:28 +01:00
parent 89e1209b33
commit 4e605ec54a
3 changed files with 7 additions and 7 deletions

View File

@@ -113,7 +113,7 @@ export class ExtHostDebugService extends ExtHostDebugServiceBase {
} else if (args.kind === 'external') {
runInExternalTerminal(args, await this._configurationService.getConfigProvider());
return runInExternalTerminal(args, await this._configurationService.getConfigProvider());
}
return super.$runInTerminal(args);
}