# HG changeset patch
# User Nathan Phillip Brink <ohnobinki@ohnopublishing.net>
# Date 2011-03-03 19:11:15
# Node ID 31f302e8171c8e0374305ef039088b4d5045e336
# Parent  85204e4680774f8f299182afa48edb2c688b0b0d

Fix ``undefined index'' warning.

diff --git a/inc/school.inc b/inc/school.inc
--- a/inc/school.inc
+++ b/inc/school.inc
@@ -296,7 +296,7 @@ function school_instructions_html($schoo
  */
 function school_semesters(array $school)
 {
-  if (!$school['crawled'])
+  if (empty($school['crawled']))
     return array();
   return $school['semesters'];
 }