. //////////////////////////////////////////////////////////////////////////////// // Last modified 05/aug/2012 by cassio@ime.usp.br require('header.php'); if(($ct = DBContestInfo($_SESSION["usertable"]["contestnumber"])) == null) ForceLoad("../index.php"); if (isset($_GET["return"]) && is_numeric($_GET["return"]) && isset($_GET["site"]) && is_numeric($_GET["site"])) { DBTaskGiveUp ($_GET["return"], $_GET["site"], $_SESSION["usertable"]["contestnumber"], $_SESSION["usertable"]["usernumber"], $_SESSION["usertable"]["usersitenumber"]); ForceLoad("task.php"); } if (isset($_GET["get"]) && is_numeric($_GET["get"]) && isset($_GET["site"]) && is_numeric($_GET["site"])) { DBGetTaskToAnswer($_GET["get"], $_GET["site"], $_SESSION["usertable"]["contestnumber"]); ForceLoad("task.php"); } if (isset($_GET["done"]) && is_numeric($_GET["done"]) && isset($_GET["site"]) && is_numeric($_GET["site"])) { DBUpdateTask( $_SESSION["usertable"]["contestnumber"], $_SESSION["usertable"]["usersitenumber"], $_SESSION["usertable"]["usernumber"], $_GET["site"], $_GET["done"], 'done'); ForceLoad("task.php"); } ?>
\n"; echo " \n"; echo " \n"; echo " \n"; echo " \n"; if ($task[$i]["oid"] != null) { $msg = "///// " . $task[$i]["username"]." ".$task[$i]["username"]." ".$task[$i]["username"]." ". $task[$i]["username"]." ".$task[$i]["username"]." ".$task[$i]["username"]; echo " \n"; } else echo " \n"; if ($mine) $color="ff7777"; else if ($st == "done") $color="bbbbff"; else if ($st == "processing") $color="77ff77"; else if ($st == "opentask") $color="ffff88"; else $color="ffffff"; echo " \n \n"; } echo "

Task #	Time	User / Site	Description	File	Status	Actions
" . $task[$i]["number"] . "	" . dateconvminutes($task[$i]["timestamp"]) . "	".$task[$i]["username"]."(" . $task[$i]["user"] . ") / ".$task[$i]["site"]."	" . $task[$i]["description"]; if($task[$i]["color"] != "") { echo " "; } echo "	" . $task[$i]["filename"] . ""; echo " view"; echo "		$st	"; if($st == "opentask") echo " get\n"; if($st == "processing" && $mine==1) { echo " return\n"; echo " done\n"; } echo "

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