destination filename) * @param mixed the data to be downloaded * @param bool whether to try and send the actual file MIME type * @return void */ function force_download($filename = '', $data = '', $set_mime = FALSE) { if ($filename === '' OR $data === '') { return; } elseif ($data === NULL) { // Is $filename an array as ['local source path' => 'destination filename']? if (is_array($filename)) { if (count($filename) !== 1) { return; } reset($filename); $filepath = key($filename); $filename = current($filename); if (is_int($filepath)) { return; } } else { $filepath = $filename; $filename = explode('/', str_replace(DIRECTORY_SEPARATOR, '/', $filename)); $filename = end($filename); } if ( ! @is_file($filepath) OR ($filesize = @filesize($filepath)) === FALSE) { return; } } else { $filesize = strlen($data); } // Set the default MIME type to send $mime = 'application/octet-stream'; $x = explode('.', $filename); $extension = end($x); if ($set_mime === TRUE) { if (count($x) === 1 OR $extension === '') { /* If we're going to detect the MIME type, * we'll need a file extension. */ return; } // Load the mime types $mimes =& get_mimes(); // Only change the default MIME if we can find one if (isset($mimes[$extension])) { $mime = is_array($mimes[$extension]) ? $mimes[$extension][0] : $mimes[$extension]; } } /* It was reported that browsers on Android 2.1 (and possibly older as well) * need to have the filename extension upper-cased in order to be able to * download it. * * Reference: http://digiblog.de/2011/04/19/android-and-the-download-file-headers/ */ if (count($x) !== 1 && isset($_SERVER['HTTP_USER_AGENT']) && preg_match('/Android\s(1|2\.[01])/', $_SERVER['HTTP_USER_AGENT'])) { $x[count($x) - 1] = strtoupper($extension); $filename = implode('.', $x); } // Clean output buffer if (ob_get_level() !== 0 && @ob_end_clean() === FALSE) { @ob_clean(); } // RFC 6266 allows for multibyte filenames, but only in UTF-8, // so we have to make it conditional ... $utf8_filename = $filename; $charset = strtoupper(config_item('charset')); if ($charset !== 'UTF-8') { $utf8_filename = (UTF8_ENABLED === TRUE) ? get_instance()->utf8->convert_to_utf8($filename, $charset) : FALSE; } else { $utf8_filename = $filename; } isset($utf8_filename[0]) && $utf8_filename = " filename*=UTF-8''".rawurlencode($utf8_filename); // Generate the server headers header('Content-Type: '.$mime); header('Content-Disposition: attachment; filename="'.$filename.'";'.$utf8_filename); header('Expires: 0'); header('Content-Transfer-Encoding: binary'); header('Content-Length: '.$filesize); header('Cache-Control: private, no-transform, no-store, must-revalidate'); // If we have raw data - just dump it if ($data !== NULL) { exit($data); } // Flush the file if (@readfile($filepath) === FALSE) { return; } exit; } }