Add no_proxy configuration.

voxpupuli · May 21, 2015 · 4b01681 · 4b01681
1 parent 2343dc1
commit 4b01681
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/manifests/plugin.pp b/manifests/plugin.pp
@@ -122,10 +122,12 @@
 
   if (empty(grep([ $::jenkins_plugins ], $search))) {
     if ($jenkins::proxy_host) {
+	  $no_proxy = join($jenkins::no_proxy_list, ',')
       Exec {
         environment => [
           "http_proxy=${jenkins::proxy_host}:${jenkins::proxy_port}",
-          "https_proxy=${jenkins::proxy_host}:${jenkins::proxy_port}"
+          "https_proxy=${jenkins::proxy_host}:${jenkins::proxy_port}",
+		      "no_proxy=${no_proxy}"
         ]
       }
     }