#ifndef SHARED_UPDATE_USER_INFO_H #define SHARED_UPDATE_USER_INFO_H void mark_passwd_file (const char *username, const CONFIG_STRUCT *conf); void update_passwd (const USER_DATA * new_info, const CONFIG_STRUCT *conf); void update_course_key(const USER_DATA *new_info, const char *course); #endif