0";
pdo_query($sql,$rjpid) ;
$sql="delete from `sim` WHERE `s_id` in (select solution_id from solution where `problem_id`=?)";
pdo_query($sql,$rjpid) ;
$url="../status.php?problem_id=".$rjpid;
echo "Rejudged Problem ".$rjpid;
echo "";
}
else if (isset($_POST['rjsid'])){
$rjsid=intval($_POST['rjsid']);
$sql="delete from `sim` WHERE `s_id`=?";
pdo_query($sql,$rjsid) ;
$sql="UPDATE `solution` SET `result`=1 WHERE `solution_id`=? and problem_id>0" ;
pdo_query($sql,$rjsid) ;
$url="../status.php?top=".($rjsid+1);
echo "Rejudged Runid ".$rjsid;
echo "";
}else if (isset($_POST['rjcid'])){
$rjcid=intval($_POST['rjcid']);
$sql="UPDATE `solution` SET `result`=1 WHERE `contest_id`=? and problem_id>0";
pdo_query($sql,$rjcid) ;
$url="../status.php?cid=".($rjcid);
echo "Rejudged Contest id :".$rjcid;
echo "";
}
echo str_repeat(" ",4096);
flush();
if($OJ_REDIS){
$redis = new Redis();
$redis->connect($OJ_REDISSERVER, $OJ_REDISPORT);
if(isset($OJ_REDISAUTH)) $redis->auth($OJ_REDISAUTH);
$sql="select solution_id from solution where result=1 and problem_id>0";
$result=pdo_query($sql);
foreach($result as $row){
echo $row['solution_id']."\n";
$redis->lpush($OJ_REDISQNAME,$row['solution_id']);
}
$redis->close();
}
}
?>