Method dir

basex-core/src/main/java/org/basex/util/Prop.java:151–154

Attaches a directory separator to the specified directory string. @param path directory path @return directory string

(final String path)

   * @return directory string
   */
  private static String dir(final String path) {
    return path.isEmpty() || Strings.endsWith(path, '/') || Strings.endsWith(path, '\\') ?
      path : path + File.separator;
  }

  /**
   * Sets a global option.