Merged #46 "Update to Jetty 9, drop AJP"

James Moger

2014-04-11 0404f5cc426f8da77516bd5d4f3217b1c9329284

 src/main/java/com/gitblit/manager/IPluginManager.java

@@ -118,8 +118,10 @@

    /**
     * Refresh the plugin registry.
     *
     * @param verifyChecksum
     */
    boolean refreshRegistry();
    boolean refreshRegistry(boolean verifyChecksum);

    /**
     * Install the plugin from the specified url.