issue 564: enable ticket page update on tomcat with redirects

krulls

2015-02-23 47a544e3ffcd20f968a505b0efa61e99cf3af46a

 src/main/java/com/gitblit/tickets/TicketIndexer.java

@@ -143,8 +143,10 @@

      private String escape(String value) {
         if (value.charAt(0) != '"') {
            if (value.indexOf('/') > -1) {
               return "\"" + value + "\"";
            for (char c : value.toCharArray()) {
               if (!Character.isLetterOrDigit(c)) {
                  return "\"" + value + "\"";
               }
            }
         }
         return value;