From 07a7994d8198120064e39ea7e54c925ebcbfb8b8 Mon Sep 17 00:00:00 2001 From: dave Date: Thu, 28 Feb 2008 19:30:19 +0000 Subject: [PATCH] - When resetting the status of the scheduler, it is helpful to actually reset the status of the scheduler. --- admin/judges_schedulerconfig.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/admin/judges_schedulerconfig.php b/admin/judges_schedulerconfig.php index 2a2496e..e91f793 100644 --- a/admin/judges_schedulerconfig.php +++ b/admin/judges_schedulerconfig.php @@ -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")); }