Add support for configurable HTTP proxy host/port in PluginManager.java

Dariusz Bywalec

2014-12-02 d86f4a0860704e3bda77fa9622a8d0210265b616

 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;
   }