. //////////////////////////////////////////////////////////////////////////////// // Last modified 05/aug/2012 by cassio@ime.usp.br require('header.php'); if(($ct = DBContestInfo($_SESSION["usertable"]["contestnumber"])) == null) ForceLoad("../index.php"); ?>
Information: General information: info_sheet.pdf
Timelimits: contest_times.pdf */ if(is_readable('/var/www/boca/src/pdfwarm19/info_sheet.pdf')) { ?> info_sheet.pdf   contest.pdf   contest_times.pdf


\n"; // echo " \n"; echo " \n"; echo " \n"; echo " \n"; if (isset($prob[$i]["descoid"]) && $prob[$i]["descoid"] != null && isset($prob[$i]["descfilename"])) { echo " \n"; } else echo " \n"; echo " \n"; } echo "

Name	Basename	Fullname	Descfile
" . $prob[$i]["number"] . "	" . $prob[$i]["problem"]; if($prob[$i]["color"] != "") echo " \n"; echo "	" . $prob[$i]["basefilename"] . "	" . $prob[$i]["fullname"] . "	" . basename($prob[$i]["descfilename"]) . "	no description file available

"; if (count($prob) == 0) echo "
NO PROBLEMS AVAILABLE"; ?>