issue 564: enable ticket page update on tomcat with redirects

krulls

2015-02-23 47a544e3ffcd20f968a505b0efa61e99cf3af46a

 src/main/java/com/gitblit/models/PluginRegistry.java

@@ -126,7 +126,7 @@
         Version ir = Version.createVersion(installedRelease);

         Version cr = Version.ZERO;

         PluginRelease curr = getCurrentRelease(system);

         if (cr != null) {

         if (curr != null) {

            cr = Version.createVersion(curr.version);

         }

         switch (ir.compareTo(cr)) {