136137138139140141142143144145146
// it's an user reference principals.add(new RolePrincipal(infos[i].trim())); } } users.clear(); if (debug) { LOG.debug("Successfully logged in " + user); } return true;
147148149150151152153154155156157
// it's an user reference principals.add(new RolePrincipal(infos[i].trim())); } } users.clear(); if (debug) { LOGGER.debug("Successfully logged in {}", user); } return true;