fix no_proxy bug in tools/vagrant/Vagrantfile

Closes-Bug:#1598317

Change-Id: I926d770a541ff6a5eefae905f5b4fe0dd09e4efc
This commit is contained in:
Michael Dong 2016-07-01 14:24:49 -07:00
parent 9c95206bac
commit 1afd0823ea
1 changed files with 1 additions and 1 deletions

View File

@ -47,7 +47,7 @@ Vagrant.configure(2) do |config|
config.proxy.https = ENV['https_proxy']
end
if ENV['no_proxy'] && !ENV['no_proxy'].empty?
config.proxy.no_proxy = ENV['no_proxy'] + "192.168.15.6,10.0.2.15"
config.proxy.no_proxy = ENV['no_proxy'] + ",192.168.15.6,10.0.2.15"
end
end
# Provider-specific configuration so you can fine-tune various