/**
* removes a user from the user list
*
* @param un the name of the user to be removed
*/
public void userDel(String un) {
users.remove(users.indexOf(un));
if (ignores.contains(un)) {
ignores.remove(ignores.indexOf(un));
}
if (afks.contains(un)) {
afks.remove(afks.indexOf(un));
}
if (admins.contains(un)) {
admins.remove(admins.indexOf(un));
}
updateList();
serverMessage(un + " has left " + server.channel);
privates.serverMessage(un, un + " has left");
}
