getName() . ".zip\""); header("Content-Length: " . strval(filesize($file_name))); readfile($file_name); exit(); } $user = $_SESSION["user"]; $tournaments = $_SESSION["role"] == Role::ADMIN ? Tournament::getAllTournaments() : $user->getOrganizedTournaments(); require_once "server_files/views/solutions_orga.php";