Merged #23 "Enhance the plugin infrastructure to allow deeper plugin integr...

James Moger

2014-05-05 8f0f665b9ee4e2cd21e9e0d5d7cfc69b1d19b86f

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

@@ -377,7 +377,7 @@
      List<PluginRegistration> list = getRegisteredPlugins();
      Iterator<PluginRegistration> itr = list.iterator();
      while (itr.hasNext()) {
         if (state != itr.next().getInstallState()) {
         if (state != itr.next().getInstallState(getSystemVersion())) {
            itr.remove();
         }
      }