Method users

basex-core/src/main/java/org/basex/core/users/Users.java:198–213

Returns all users, or users that have permissions for a specific database. The list will only contain the current user if no admin permissions are available. @param db database (can be null) @param ctx database context @return user information

(final String db, final Context ctx)

   * @return user information
   */
  public synchronized ArrayList<User> users(final String db, final Context ctx) {
    final User curr = ctx.user();
    final boolean admin = curr.has(Perm.ADMIN);
    final ArrayList<User> list = new ArrayList<>();
    for(final User user : users.values()) {
      if(admin || curr == user) {
        if(db == null) {
          list.add(user);
        } else {
          final Entry<String, Perm> entry = user.find(db);
          if(entry != null) list.add(user);
        }
      }
    }
    return list;
  }

  /**
   * Returns the info element.