Первоначально для скачивания страниц из сети использовалась функция file_get_contents. Все работало быстро, но встречалась ситуация, когда не отвечали реально существующие страницы.

Тогда использовали curl и ошибок почти не стало, но скачивание замедлилось раз в пять!

Так и должно быть?

Функцию curl я взял готовую - может быть, в ней есть что-то лишнее, реально тормозящее?
(В частности, кукисы как таковые мне не требуются, но, может быть, они нужны для корректности?)

		$curl = curl_init();
		curl_setopt( $curl, CURLOPT_RETURNTRANSFER, 1 );
		curl_setopt( $curl, CURLOPT_TIMEOUT, 30 );
		curl_setopt( $curl, CURLOPT_USERAGENT, 'Mozilla/5.0 (Windows; U; Windows NT 6.0; en; rv:1.9.0.1) Gecko/2008070208 Firefox/3.0.1' );
		curl_setopt( $curl, CURLOPT_COOKIEFILE, $cookie_filename );
		curl_setopt( $curl, CURLOPT_COOKIEJAR, $cookie_filename );
		curl_setopt( $curl, CURLOPT_SSL_VERIFYHOST, 1 );
		curl_setopt( $curl, CURLOPT_SSL_VERIFYPEER, 0 );
		curl_setopt( $curl, CURLOPT_FOLLOWLOCATION, 1 );
		curl_setopt( $curl, CURLOPT_REFERER, 'http://google.com' );
		curl_setopt( $curl, CURLOPT_URL, $lev);
		curl_setopt( $curl, CURLOPT_HEADER, false);

		$kod = curl_exec($curl);

		// echo $kod;

		curl_exec($curl);
		curl_close($curl);			// закрываем курл
		@unlink($cookie_filename );	// Удаляем куку