Lines Matching defs:user
112 * started and before a user requests info on this principal.
317 * @param user the principal's name. For a service principal, use the
321 public void addPrincipal(String user, char[] pass) {
322 if (user.indexOf('@') < 0) {
323 user = user + "@" + realm;
325 passwords.put(user, pass);
330 * @param user the principal's name. For a service principal, use the
333 public void addPrincipalRandKey(String user) {
334 addPrincipal(user, randomPassword());