{

	readfile($section_file);

	exit(0);

      }

    /* Section not found! */

    header('HTTP/1.1 404: Not found');

    header('Content-Type: text/plain; encoding=utf-8');

    echo 'Could not find course ' . implode('-', $term_parts) . "\n";

    exit(0);

  }

/*

 * If a department is fully entered, life gets slightly more

 * complicated. I suppose I only want to autocomplete the first digit

 * of the course/class number. I.e., CS-2 for CS-262 for when the

 * student has entered CS- or 'CS'. But for now we can just dump the entire department at the user ;-).

 */

$classes_file = $cache_dir . $dept . '.sects';

if (file_exists($classes_file))

  {

    $classes = unserialize(file_get_contents($classes_file));

    $class_start = '';

    if (count($term_parts) > 1)

      $class_start = $term_parts['course'];

    /* reduce/create resultset */

    $json_classes = array();

    if (!empty($classes) && is_array($classes[0]))

      {

	foreach ($classes as $course)

	  if (!strncmp($course['value'], $class_start, $class_start_strlen))

	    $json_classes[] = $course;

      }

    else

      {

	/* Old format with just course id. */

	foreach ($classes as $class)

	  if (!strncmp($class, $class_start, $class_start_strlen))

	    $json_classes[] = $dept . '-' . $class;

      }

    echo json_encode($json_classes);

    exit(0);

  }

/**

 * Nothing caught

 */

clean_empty_exit();

/**

 * \brief

 *   Send an empty JSON array and exit.

 */

function clean_empty_exit()

{

  echo '[]';

  exit(0);

}