Thanks, Jerome! That seems to have worked. For the benefit of future readers, 
the code looks like:


final JaxRsApplication app = new 
JaxRsApplication(server.getContext().createChildContext());
EncoderService encoderService = new EncoderService();
encoderService.setEnabled(true);
app.setEncoderService(encoderService);

It all seems mysterious because of lack of documentation, but what this encoder 
service does is look up if a certain media type (application/json in my case) 
can be encoded and then selects the "best" encoding according to some internal 
logic. That best encoding ends up being gzip.

------------------------------------------------------
http://restlet.tigris.org/ds/viewMessage.do?dsForumId=4447&dsMessageId=2949935

Reply via email to