Allow to strip domain from kerberos usernames

Vitaliy Filippov

2015-06-01 7b6c1bdaba9877397ffdaf0c8641196cfb060c39

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

@@ -201,6 +201,12 @@
            q = q.substring(1, q.length() - 1);
         }
      }
      if (q.startsWith("AND ")) {
         q = q.substring(3).trim();
      }
      if (q.startsWith("OR ")) {
         q = q.substring(2).trim();
      }
      return q;
   }