Lines Matching refs:file
4 This code redirects the user to the exact file to
9 function get_actual_download_file($file)
11 // Could be a normal download or a manual download file
12 $possible_files = [$file => true, "manual/$file" => false];
14 // Find out what is the exact file requested
25 // Download a file from a mirror site
26 function download_file($mirror, $file): void
28 // Redirect to the particular file
31 header('Location: ' . $mirror . 'distributions/' . $file);
33 exit("Unable to serve you the requested file for download");
37 // download the file, even if the log server is down
