server/src/config/guzzle.php
changeset 531 48f5380c26d0
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/server/src/config/guzzle.php	Fri Jun 09 15:22:02 2017 +0200
@@ -0,0 +1,18 @@
+<?php
+
+$config = [];
+
+if ($http_proxy = env('HTTP_PROXY')) {
+    $config['proxy']['http'] = $http_proxy;
+}
+
+if ($https_proxy = env('HTTPS_PROXY')) {
+    $config['proxy']['https'] = $https_proxy;
+}
+
+if ($noProxy = env('NO_PROXY')) {
+    $cleanedNoProxy = str_replace(' ', '', $noProxy);
+    $config['proxy']['no'] = explode(',', $cleanedNoProxy);
+}
+
+return $config;