$last_mod) { $last_mod = filectime($kernel); $last_kernel = $kernel; } } if (empty($last_kernel)) { # send error header('HTTP/1.0 404 Not Found'); die("

404

\nKernel not found."); } else { # send kernel header('Content-Description: File Transfer'); header('Content-Type: application/octet-stream'); header('Content-Disposition: attachment; filename="' . basename($last_kernel) . '"'); header('Expires: 0'); header('Cache-Control: must-revalidate'); header('Pragma: public'); header('Content-Length: ' . filesize($last_kernel)); readfile($last_kernel); } ?>