. //////////////////////////////////////////////////////////////////////////////// // Last modified 05/aug/2012 by cassio@ime.usp.br require('header.php'); if(($ct = DBContestInfo($_SESSION["usertable"]["contestnumber"])) == null) ForceLoad("../index.php"); if(($st = DBSiteInfo($_SESSION["usertable"]["contestnumber"],$_SESSION["usertable"]["usersitenumber"])) == null) ForceLoad("../index.php"); if (isset($_POST["Submit"]) && $_POST["Submit"]=="S.O.S.") { if ($_POST["confirmation"] == "confirm") { $param['contest']=$_SESSION["usertable"]["contestnumber"]; $param['site']=$_SESSION["usertable"]["usersitenumber"]; $param['user']=$_SESSION["usertable"]["usernumber"]; $param['desc']= "Staff assistance"; DBNewTask ($param); } ForceLoad("task.php"); } if (isset($_FILES["filename"]) && isset($_POST["Submit"]) && $_FILES["filename"]["name"]!="") { if ($_POST["confirmation"] == "confirm") { $type=myhtmlspecialchars($_FILES["filename"]["type"]); $size=myhtmlspecialchars($_FILES["filename"]["size"]); $name=myhtmlspecialchars($_FILES["filename"]["name"]); $temp=myhtmlspecialchars($_FILES["filename"]["tmp_name"]); if ($size > $ct["contestmaxfilesize"]) { LOGLevel("User {$_SESSION["usertable"]["username"]} tried to print file " . "$name with $size bytes ({$ct["contestmaxfilesize"]} max allowed).", 1); MSGError("File size exceeds the limit allowed."); ForceLoad("task.php"); } if (!is_uploaded_file($temp)) { IntrusionNotify("Printing file upload problem"); ForceLoad("../index.php"); } $param['contest']=$_SESSION["usertable"]["contestnumber"]; $param['site']=$_SESSION["usertable"]["usersitenumber"]; $param['user']=$_SESSION["usertable"]["usernumber"]; $param['desc']= "File to print"; $param['filename']=$name; $param['filepath']=$temp; DBNewTask ($param); } ForceLoad("task.php"); } ?>
\n"; echo " \n"; echo " \n"; echo " \n"; echo " \n"; echo " \n"; } echo "

Task #	Time	Description	File	Status
" . $task[$i]["number"] . "	" . dateconvminutes($task[$i]["timestamp"]) . "	" . $task[$i]["description"] . "	" . $task[$i]["filename"] . "	" . $task[$i]["status"] . "

"; if (count($task) == 0) echo "
NO TASKS FOUND"; ?>

To submit a file for printing, just fill in the following field: