Method drop

basex-core/src/main/java/org/basex/core/users/User.java:166–168

Drops the specified database pattern. @param pattern database pattern

(final String pattern)

   * @param pattern database pattern
   */
  public synchronized void drop(final String pattern) {
    patterns.remove(pattern);
  }

  /**
   * Returns the username.