Lines Matching refs:file
5 // No file to download
7 exit("No file requested for download");
10 // Could be a normal download or a manual download file
18 // Find out what is the exact file requested
19 $file = false;
22 $file = $name;
32 // No downloadable file found
33 if ($file === false) {
35 …The file you requested (<strong>" . htmlspecialchars($df, ENT_QUOTES, "UTF-8") . "</strong>) is no…
43 // Set local file name
44 $local_file = $_SERVER['DOCUMENT_ROOT'] . '/distributions/' . $file;
