Method drop

basex-core/src/main/java/org/basex/core/users/Users.java:147–149

Drops a user from the list. @param user user reference

(final User user)

   * @param user user reference
   */
  public synchronized void drop(final User user) {
    users.remove(user.name());
  }

  /**
   * Returns a user with the specified name.