command for open external

This commit is contained in:
Martin Aeschlimann
2020-11-18 12:57:39 +01:00
parent 02ecc884d7
commit 8513f398c4
2 changed files with 10 additions and 2 deletions

View File

@@ -145,7 +145,7 @@ export class CLIServerBase {
private openExternal(data: OpenExternalCommandPipeArgs, res: http.ServerResponse) {
for (const uri of data.uris) {
this._commands.executeCommand('_workbench.open', URI.parse(uri));
this._commands.executeCommand('_workbench.openExternal', URI.parse(uri), { allowTunneling: true });
}
res.writeHead(200);
res.end();