Method put

basex-core/src/main/java/org/basex/util/Prop.java:161–163

Sets a global option. @param option option @param value value

(final Option<?> option, final String value)

   * @param value value
   */
  public static void put(final Option<?> option, final String value) {
    put(DBPREFIX + option.name().toLowerCase(Locale.ENGLISH), value);
  }

  /**
   * Sets a global option.