mgr.getUserDatabase().deleteByLoginName(loginid);
session.addMessage("User profile "+loginid+" ("+fullname+") has been deleted");
}
catch (NoSuchPrincipalException e)
{
session.addMessage("User profile has already been removed");
}
catch (WikiSecurityException e)
{
session.addMessage("Security problem: "+e);
}