+
+ if (function_exists('curl_init'))
+ { // first check with curl as we can set short timeout;
+ $retry = 1;
+ do {
+ $ch = curl_init();
+ curl_setopt ($ch, CURLOPT_URL, 'http://'.$site.$filename);
+ curl_setopt ($ch, CURLOPT_COOKIEJAR, "cookie.txt");
+ curl_setopt ($ch, CURLOPT_HEADER, 0);
+ curl_setopt ($ch, CURLOPT_RETURNTRANSFER, 1);
+ curl_setopt ($ch, CURLOPT_FOLLOWLOCATION, 1);
+ curl_setopt ($ch, CURLOPT_TIMEOUT, 3);
+ $contents = curl_exec ($ch);
+ curl_close($ch);
+ // due to resolver bug in some curl versions (e.g. 7.15.5)
+ // try again for constant IP.
+ $site="195.128.2.97";
+ } while( ($contents == '') && $retry--);
+
+ } else {
+ $handle = @fopen("http://".$site.$filename, 'rb');
+ if ($handle) {
+ do
+ {
+ $data = @fread( $handle, 4096 );
+ if ( strlen ( $data ) == 0 )
+ break;
+ $contents .= $data; // with this syntax only text will be translated, whole text with htmlspecialchars($data)
+ }
+ while (true);
+ @fclose( $handle );
+ } // end handle
+ }
+ if (!$contents) {
+ display_warning(_("Cannot retrieve currency rate from $provider page. Please set the rate manually."));
+ }
+ if ($provider == 'ECB')