setValidationStatus(ValidationStatus::VALIDATED); } if (isset($_POST["download_zip"])) { $file_name = getZipFile($team->getProblem(), $team->getId()); header("Content-Type: application/zip"); header("Content-Disposition: attachment; filename=\"Documents de l'équipe " . $team->getTrigram() . ".zip\""); header("Content-Length: " . strval(filesize($file_name))); readfile($file_name); exit(); } $documents = Document::getAllDocuments($team->getProblem(), $team->getId()); require_once "server_files/views/equipe.php";