From 117b38e47ff2c98402b975ada3240b5d4e996d86 Mon Sep 17 00:00:00 2001
From: bjorn <bjorn@bringert.net>
Date: Mon, 15 Sep 2008 15:43:37 +0000
Subject: [PATCH] GWT client: set Accept header to get plain text error
 messages,

---
 .../src/se/chalmers/cs/gf/gwt_translate/client/GF.java           | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/server/gwt-client/src/se/chalmers/cs/gf/gwt_translate/client/GF.java b/src/server/gwt-client/src/se/chalmers/cs/gf/gwt_translate/client/GF.java
index 78b7c926f..f90b0577f 100644
--- a/src/server/gwt-client/src/se/chalmers/cs/gf/gwt_translate/client/GF.java
+++ b/src/server/gwt-client/src/se/chalmers/cs/gf/gwt_translate/client/GF.java
@@ -132,6 +132,7 @@ public class GF {
     private GFRequest sendRequest (String resource, List<Arg> vars, final JSONRequestCallback callback) {
 	String url = baseURL + "/" + resource + "?" + buildQueryString(vars);
 	RequestBuilder builder = new RequestBuilder(RequestBuilder.GET, url);
+	builder.setHeader("Accept","text/plain, text/html;q=0.5, */*;q=0.1");
 	Request request = null;
 
 	try {