issue 564: enable ticket page update on tomcat with redirects

krulls

2015-02-23 47a544e3ffcd20f968a505b0efa61e99cf3af46a

 src/main/java/com/gitblit/Constants.java

@@ -130,6 +130,8 @@


   public static final String DEVELOP = "develop";



   public static final String AUTHENTICATION_TYPE = "authentication-type";



   public static String getVersion() {

      String v = Constants.class.getPackage().getImplementationVersion();

      if (v == null) {