. //////////////////////////////////////////////////////////////////////////////// // Last modified 05/aug/2012 by cassio@ime.usp.br require('header.php'); if(($ct = DBContestInfo($_SESSION["usertable"]["contestnumber"])) == null) ForceLoad("../index.php"); ?>
\n"; // echo " \n"; echo " \n"; echo " \n"; echo " \n"; if (isset($prob[$i]["descoid"]) && $prob[$i]["descoid"] != null) { 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 YET"; ?>