/* * Remove all the entries for a particular user. Used when tokens expire. * A user is determined by his/her effective user id (id_uid). */