http.proxy can also be empty

related to #5596 #2856
This commit is contained in:
Joao Moreno
2016-04-29 11:14:58 +02:00
parent 291498bc4a
commit 0c8affa105

View File

@@ -111,7 +111,7 @@ confRegistry.registerConfiguration({
properties: {
'http.proxy': {
type: 'string',
pattern: '^https?://[^:]+(:\\d+)?$',
pattern: '^https?://[^:]+(:\\d+)?$|^$',
description: nls.localize('proxy', "The proxy setting to use. If not set will be taken from the http_proxy and https_proxy environment variables")
},
'http.proxyStrictSSL': {