737475767778798081
} public int userIndex(long userID) throws NoSuchUserException { Integer index = userIDMapping.get(userID); if (index == null) { throw new NoSuchUserException(userID); } return index; }
208209210211212213214215216
*/ @Override public PreferenceArray getPreferencesFromUser(long userID) throws NoSuchUserException { PreferenceArray prefs = preferenceFromUsers.get(userID); if (prefs == null) { throw new NoSuchUserException(userID); } return prefs; }
115116117118119120121122
catch (NamingException e) { throw new IdentityException("Failed to close LDAP connection", e); } } throw new NoSuchUserException("No user found with name: " + userName); }