function download_curl($site, $namefile){ // file to download $ch = curl_init($site); curl_setopt($ch, CURLOPT_RETURNTRANSFER, TRUE); // enable SSL if needed curl_setopt($ch, CURLOPT_SSL_VERIFYPEER, false); // output to file descriptor curl_setopt($ch, CURLOPT_FILE, $fp); curl_setopt($ch, CURLOPT_FOLLOWLOCATION, 1); // set large timeout to allow curl to run for a longer time curl_setopt($ch, CURLOPT_TIMEOUT, 10000); curl_setopt($ch, CURLOPT_COOKIEFILE, "cookie.txt"); curl_setopt($ch, CURLOPT_USERAGENT, $_SERVER['HTTP_USER_AGENT']); // Enable debug output curl_setopt($ch, CURLOPT_VERBOSE, true); curl_exec($ch); curl_close($ch); }
i pytanie: czy mogę jakoś przydzielić nazwę pliku, którą dostaję gdybym pobierał te pliki normalnie przez przeglądarkę?