Crew PHP |
|
beter nog zou zijn met cURL:
$link = "http://www.funda.nl/koop/markelo/huis-56883372-klemmerweg-9/print/";
$ch = curl_init();
curl_setopt($ch, CURLOPT_SSL_VERIFYPEER, FALSE);
curl_setopt($ch, CURLOPT_RETURNTRANSFER, TRUE);
curl_setopt($ch, CURLOPT_COOKIESESSION, TRUE);
curl_setopt($ch, CURLOPT_HEADER, 0);
curl_setopt($ch, CURLOPT_URL, $link);
$site = curl_exec($ch);
curl_close($ch);
$link = "http://www.funda.nl/koop/markelo/huis-56883372-klemmerweg-9/print/"; $ch = curl_init(); curl_setopt($ch, CURLOPT_SSL_VERIFYPEER, FALSE); curl_setopt($ch, CURLOPT_RETURNTRANSFER, TRUE); curl_setopt($ch, CURLOPT_COOKIESESSION, TRUE); curl_setopt($ch, CURLOPT_HEADER, 0); curl_setopt($ch, CURLOPT_URL, $link); $site = curl_exec($ch); curl_close($ch);
cURL is namelijk zo'n 30% sneller dan file_get_contents() en in basisvorm werkt het hetzelfde |