getAllSolutions(); $zip = new ZipArchive(); $temp = tempnam("tmp", "tfjm-"); if ($zip->open($temp, ZipArchive::CREATE) !== true) { die("Impossible de créer le fichier zip."); } /** @var Solution $sol */ foreach ($sols as $sol) { $file_id = $sol->getFileId(); $problem = $sol->getProblem(); $version = $sol->getVersion(); $team = Team::fromId($sol->getTeamId()); $team_name = $team->getName(); $team_trigram = $team->getTrigram(); $zip->addFile("$LOCAL_PATH/files/$file_id", "Problème $problem $team_trigram.pdf"); } $zip->close(); header("Content-Type: application/zip"); header("Content-Disposition: attachment; filename=\"Solutions du tournoi de " . $tournament->getName() . ".zip\""); header("Content-Length: " . strval(filesize($temp))); readfile($temp); exit(); } $user = $_SESSION["user"]; $tournaments = $_SESSION["role"] == Role::ADMIN ? Tournament::getAllTournaments() : $user->getOrganizedTournaments(); require_once "server_files/views/solutions_orga.php";