Hi, I have a few questions regarding the rest API.
- Is it possible that the rest api (query.json) should return numeric values as strings? - count(*) being an example of that - calls for conversion on the browser side - I find no obvious setting for this - Is there any other serialization/encoding available apart from JSON? (like Protobuff) - naming the REST endpoint after a serialization may be a hint here - Is it possible to use gzipped response to minimize the total delivery time? I'm using this interface instead of the JDBC driver and would like to do everything needed to speed it up. Regards, -Stefan
