Method addAutoloadPlugin

src/main/java/gate/Gate.java:1067–1074

Adds a new directory to the list of plugins that are loaded automatically at start-up. @param plugin the plugin to add to the list of autoload plugins.

(Plugin plugin)

   *          the plugin to add to the list of autoload plugins.
   */
  public static void addAutoloadPlugin(Plugin plugin) {
    
    if(autoloadPlugins.contains(plugin)) return;
    // make sure it's known
    addKnownPlugin(plugin);
    // add it to autoload list
    autoloadPlugins.add(plugin);
  }

  /**
   * Gets the information about a known directory.