@@ -119,24 +119,23 @@ if (file_exists($classes_file))
if (!strncmp($class, $class_start, $class_start_strlen))
{
$json_classes[] = $dept . '-' . $class;
}
echo json_encode($json_classes);
exit(0);
/**
* Nothing caught..
*/
echo '["Oops"]';
clean_empty_exit();
* \brief
* Send an empty JSON array and exit.
function clean_empty_exit()
echo '[]';
Status change: