/**   * 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;      }    }