Method setSiteConfigFile

src/main/java/gate/Gate.java:804–806

Set the site config file (e.g. during command-line processing).

(File siteConfigFile)

  /** Set the site config file (e.g. during command-line processing). */
  public static void setSiteConfigFile(File siteConfigFile) {
    Gate.siteConfigFile = siteConfigFile;
  } // setSiteConfigFile

  /** Shorthand for local newline */
  private static String nl = Strings.getNl();