From 496c0400aa68b1565abeb43a5b970d7730d59bdc Mon Sep 17 00:00:00 2001
From: james <james>
Date: Wed, 10 Feb 2010 16:15:12 +0000
Subject: [PATCH] Don't include deactivated judges in the judge list

---
 admin/judges.inc.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/admin/judges.inc.php b/admin/judges.inc.php
index 0fe7801f..137be047 100644
--- a/admin/judges.inc.php
+++ b/admin/judges.inc.php
@@ -218,6 +218,7 @@ function judges_load_all()
 	while($i = mysql_fetch_assoc($r)) {
 		$u = user_load($i['id']);
 		if($u['judge_complete'] == 'no') continue;
+		if($u['judge_active'] == 'no') continue;
 
 		$ret[$i['id']] = $u;
 	}