Method add

basex-core/src/main/java/org/basex/core/users/Users.java:128–130

Adds a user. @param user user to be added

(final User user)

   * @param user user to be added
   */
  public synchronized void add(final User user) {
    users.put(user.name(), user);
  }

  /**
   * Renames a user.