edu_get_classes

edu_get_classes   db   user_id

returns a list of class_ids of which user_id is a member

Source code:

    return [database_to_tcl_list $db "
    select class_id 
    from edu_classes c, edu_user_group_map m 
    where m.user_id=$user_id
    and m.group_id=c.class_id"]