Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'editors/code/src/config.ts')
| -rw-r--r-- | editors/code/src/config.ts | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts index a3e29fc156..28acfec057 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts @@ -107,6 +107,9 @@ export class Config { return httpProxy || process.env["https_proxy"] || process.env["HTTPS_PROXY"]; } + get proxyStrictSSL(): boolean { + return vscode.workspace.getConfiguration("http").get("proxyStrictSSL") || true; + } get inlayHints() { return { |