A good idea; I’ll think of ways to get this included. One challenge might be that the response is streamed to the client. This means that when creating the HTTP request headers, it will not be known yet how long the evaluation will take (and the time for evaluation may also depend on the connection speed). The time for parsing and compiling the query should be known at that time, though. – Maybe we could suppress result streaming when timings are requested.
On Thu, Apr 29, 2021 at 9:50 PM Reece Dunn msclrhd@googlemail.com wrote:
Hi all,
In BaseX, is there a way to get the profile timings (compile, run, print, etc.) in the response of a HTTP request via the Server-Timing header (https://developer.mozilla.org/en-US/docs/Web/HTTP/Headers/Server-Timing)?
Kind regards, Reece