Method alter

basex-core/src/main/java/org/basex/core/users/Users.java:137–141

Renames a user. @param user user reference @param name new name

(final User user, final String name)

   * @param name new name
   */
  public synchronized void alter(final User user, final String name) {
    users.remove(user.name());
    user.name(name);
    users.put(name, user);
  }

  /**
   * Drops a user from the list.