diff options
| -rwxr-xr-x | lib/util.php | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/lib/util.php b/lib/util.php index 8c71d3cb4ed..65d66abc59d 100755 --- a/lib/util.php +++ b/lib/util.php @@ -678,8 +678,12 @@ class OC_Util { curl_setopt($curl, CURLOPT_CONNECTTIMEOUT, 10); curl_setopt($curl, CURLOPT_URL, $url); curl_setopt($curl, CURLOPT_USERAGENT, "ownCloud Server Crawler"); - if(OC_Config::getValue('curlproxy','')=='') curl_setopt($curl, CURLOPT_PROXY, OC_Config::getValue('curlproxy')); - if(OC_Config::getValue('curlproxyuserpwd','')=='') curl_setopt($curl, CURLOPT_PROXYUSERPWD, OC_Config::getValue('curlproxyuserpwd')); + if(OC_Config::getValue('curlproxy','')=='') { + curl_setopt($curl, CURLOPT_PROXY, OC_Config::getValue('curlproxy')); + } + if(OC_Config::getValue('curlproxyuserpwd','')=='') { + curl_setopt($curl, CURLOPT_PROXYUSERPWD, OC_Config::getValue('curlproxyuserpwd')); + } $data = curl_exec($curl); curl_close($curl); |