Added a script to facilitate setting the proxy host and port and no proxy h...

Mohamed Ragab

2012-05-02 0e44acbb2fec928a1606dc60f427a148fff405c9

 src/com/gitblit/JsonServlet.java

@@ -122,6 +122,7 @@
      if (o != null) {

         // Send JSON response

         String json = JsonUtils.toJsonString(o);

         response.setCharacterEncoding(Constants.ENCODING);

         response.getWriter().append(json);

      }

   }