Use the response setContentType() in RequestFactoryServlet instead
of the more generic setHeader() call.

Review at http://gwt-code-reviews.appspot.com/980801


git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@9056 8db76d5a-ed1c-0410-87a9-c151d255dfc7

user/src/com/google/gwt/requestfactory/server/RequestFactoryServlet.java

diff --git a/user/src/com/google/gwt/requestfactory/server/RequestFactoryServlet.java b/user/src/com/google/gwt/requestfactory/server/RequestFactoryServlet.java
index 14cddcd..1f8eb6b 100644
--- a/user/src/com/google/gwt/requestfactory/server/RequestFactoryServlet.java
+++ b/user/src/com/google/gwt/requestfactory/server/RequestFactoryServlet.java
@@ -112,8 +112,7 @@
           requestProcessor.setOperationRegistry(new ReflectionBasedOperationRegistry(
               new DefaultSecurityProvider()));
           requestProcessor.setExceptionHandler(exceptionHandler);
-          response.setHeader("Content-Type",
-              RequestFactory.JSON_CONTENT_TYPE_UTF8);
+          response.setContentType(RequestFactory.JSON_CONTENT_TYPE_UTF8);
           writer.print(requestProcessor.decodeAndInvokeRequest(jsonRequestString));
           writer.flush();
         }