ckaczor/azuredatastudio
1
0
Fork 0
mirror of https://github.com/ckaczor/azuredatastudio.git synced 2026-02-13 03:28:33 -05:00
Code Issues Packages Projects Releases Wiki Activity

add flag for proxy (#15120)

Browse Source 
* add flag for proxy

* update distro hash

* Bump distro hash

* Bump distro

Co-authored-by: kburtram <karlb@microsoft.com>
Co-authored-by: chgagnon <chgagnon@microsoft.com>
This commit is contained in:
Aditya Bist
2021-04-14 00:36:39 -07:00
committed by GitHub
parent 1b78008258
commit b6bdb68596
5 changed files with 27 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/vs/workbench/services/extensions/electron-browser/extensionService.ts
View File

@@ -40,6 +40,8 @@ import { ILogService } from 'vs/platform/log/common/log';
import { CATEGORIES } from 'vs/workbench/common/actions';
import { Schemas } from 'vs/base/common/network';
import { ExtensionHostExitCode } from 'vs/workbench/services/extensions/common/extensionHostProtocol';
import { updateProxyConfigurationsScope } from 'vs/platform/request/common/request';
import { ConfigurationScope } from 'vs/platform/configuration/common/configurationRegistry';
export class ExtensionService extends AbstractExtensionService implements IExtensionService {
@@ -336,6 +338,8 @@ export class ExtensionService extends AbstractExtensionService implements IExten
await this._startLocalExtensionHost(localExtensions);
return;
}
updateProxyConfigurationsScope(remoteEnv.useHostProxy ? ConfigurationScope.APPLICATION : ConfigurationScope.MACHINE);
}
await this._startLocalExtensionHost(localExtensions, remoteAuthority, remoteEnv, remoteExtensions);

4
src/vs/workbench/services/remote/common/remoteAgentEnvironmentChannel.ts
View File

@@ -41,6 +41,7 @@ export interface IRemoteAgentEnvironmentDTO {
workspaceStorageHome: UriComponents;
userHome: UriComponents;
os: platform.OperatingSystem;
useHostProxy: boolean;
}
export class RemoteExtensionEnvironmentChannelClient {
@@ -63,7 +64,8 @@ export class RemoteExtensionEnvironmentChannelClient {
globalStorageHome: URI.revive(data.globalStorageHome),
workspaceStorageHome: URI.revive(data.workspaceStorageHome),
userHome: URI.revive(data.userHome),
os: data.os
os: data.os,
useHostProxy: data.useHostProxy
};
}