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

James Moger

2014-04-11 0404f5cc426f8da77516bd5d4f3217b1c9329284

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

@@ -1250,8 +1250,8 @@
   }

   @Override
   public boolean refreshRegistry() {
      return pluginManager.refreshRegistry();
   public boolean refreshRegistry(boolean verifyChecksum) {
      return pluginManager.refreshRegistry(verifyChecksum);
   }

   @Override