- When resetting the status of the scheduler, it is helpful to actually reset

the status of the scheduler.
This commit is contained in:
dave 2008-02-28 19:30:19 +00:00
parent bb3d4c0480
commit 07a7994d81

View File

@ -49,7 +49,7 @@ ogram; see the file COPYING. If not, write to
if($_GET['action']=="reset")
{
mysql_query("UPDATE config SET `val`='-1' WHERE `var`='judge_scheduler_percent' AND `year`=0");
$config['judge_scheduler_percent']=="-1";
$config['judge_scheduler_percent']="-1";
echo happy(i18n("Judge scheduler status forcibly reset"));
}