edu_get_classes db user_idWhat it does:
returns a list of class_ids of which user_id is a memberDefined in: /web/philip/tcl/education.tcl
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"]