issue 564: enable ticket page update on tomcat with redirects

krulls

2015-02-23 47a544e3ffcd20f968a505b0efa61e99cf3af46a

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

@@ -421,6 +421,10 @@
   protected File download(String url, boolean verifyChecksum) throws IOException {
      File file = downloadFile(url);

      if (!verifyChecksum) {
         return file;
      }

      File sha1File = null;
      try {
         sha1File = downloadFile(url + ".sha1");