/**  * Downloader  *  * @param $archivo  *  path al archivo  * @param $downloadfilename  *  (null|string) el nombre que queres usar para el archivo que se va a descargar.  *  (si no lo especificas usa el nombre actual del archivo)  *  * @return file stream  */ function download_file($archivo, $downloadfilename = null) {     if (file_exists($archivo)) {         $downloadfilename = $downloadfilename !== null ? $downloadfilename : basename($archivo);         header('Content-Description: File Transfer');         header('Content-Type: application/octet-stream');         header('Content-Disposition: attachment; filename=' . $downloadfilename);         header('Content-Transfer-Encoding: binary');         header('Expires: 0');         header('Cache-Control: must-revalidate, post-check=0, pre-check=0');         header('Pragma: public');         header('Content-Length: ' . filesize($archivo));         ob_clean();         flush();         readfile($archivo);         exit;     } }