//--------------------------------------------------------------------------
private Set<Principal> getPrincipals(String userID) {
Set<Principal> principals = new HashSet<Principal>();
PrincipalProvider principalProvider = getPrincipalProvider();
if (principalProvider != null && userID != null) {
Principal p = principalProvider.getPrincipal(userID); // TODO FIXME
if (p != null) {
principals.add(p);
principals.addAll(principalProvider.getGroupMembership(p));
} else {
log.debug("Commit: Cannot retrieve principal for userID '{}'.", userID);
}
} else {
log.debug("Commit: Cannot retrieve principals. No principal provider configured.");