78 lines
2.8 KiB
PHP
78 lines
2.8 KiB
PHP
<?php include 'config.php'; ?>
|
|
|
|
<?php
|
|
|
|
if (isset($_POST["download_zip"])) {
|
|
$id = $_POST["tournament"];
|
|
$tournament_name = $_POST["tournament_name"];
|
|
$files_req = $DB->query("SELECT *, COUNT(`problem`) AS `version` FROM `solutions` WHERE `tournament` = '$id' GROUP BY `team`, `problem` ORDER BY `team`, `problem`, `uploaded_at` DESC;");
|
|
|
|
$zip = new ZipArchive();
|
|
|
|
$temp = tempnam("tmp", "tfjm-");
|
|
|
|
if ($zip->open($temp, ZipArchive::CREATE) !== true) {
|
|
die("Impossible de créer le fichier zip.");
|
|
}
|
|
|
|
while (($data_file = $files_req->fetch()) !== false) {
|
|
$file_id = $data_file["file_id"];
|
|
$problem = $data_file["problem"];
|
|
$version = $data_file["version"];
|
|
$team_id = $data_file["team"];
|
|
$team_data = $DB->query("SELECT `name`, `trigram` FROM `teams` WHERE `id` = '$team_id' AND `year` = $YEAR;")->fetch();
|
|
$team_name = $team_data["name"];
|
|
$team_trigram = $team_data["trigram"];
|
|
|
|
$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_name.zip\"");
|
|
header("Content-Length: " . strval(filesize($temp) + 1));
|
|
|
|
readfile($temp);
|
|
|
|
exit();
|
|
}
|
|
|
|
?>
|
|
|
|
<?php include 'header.php'; ?>
|
|
|
|
<?php
|
|
|
|
$req = $DB->query("SELECT `id`, `name` FROM `tournaments` WHERE "
|
|
. ($_SESSION["role"] == "ADMIN" ? "" : "`organizer` = '" . $_SESSION["user_id"] . "' AND ")
|
|
. "`year` = $YEAR ORDER BY `name`;");
|
|
|
|
while (($data_tournament = $req->fetch()) !== false) {
|
|
echo "<h1>Tournoi de " . $data_tournament["name"] . "</h1>\n";
|
|
$id = $data_tournament["id"];
|
|
$files_req = $DB->query("SELECT *, COUNT(`problem`) AS `version` FROM `solutions` WHERE `tournament` = '$id' GROUP BY `team`, `problem` ORDER BY `team`, `problem`, `uploaded_at` DESC;");
|
|
while (($data_file = $files_req->fetch()) !== false) {
|
|
$file_id = $data_file["file_id"];
|
|
$problem = $data_file["problem"];
|
|
$version = $data_file["version"];
|
|
$team_id = $data_file["team"];
|
|
$team_data = $DB->query("SELECT `name`, `trigram` FROM `teams` WHERE `id` = '$team_id' AND `year` = $YEAR;")->fetch();
|
|
$team_name = $team_data["name"];
|
|
$team_trigram = $team_data["trigram"];
|
|
echo "Problème n°$problem de l'équipe $team_name ($team_trigram), version $version : <a href=\"$URL_BASE/file/$file_id\">Télécharger</a><br />";
|
|
}
|
|
|
|
?>
|
|
<form method="POST">
|
|
<input type="hidden" name="tournament" value="<?= $id ?>" />
|
|
<input type="hidden" name="tournament_name" value="<?= $data_tournament["name"] ?>" />
|
|
<input type="submit" name="download_zip" value="Télécharger l'archive" />
|
|
</form>
|
|
<?php
|
|
}
|
|
|
|
?>
|
|
|
|
<?php include 'footer.php'; ?>
|