[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [MirageOS-devel] Logs

On 16 Oct 2015, at 11:13, Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx> wrote:
>> This will happen soon or later on my side, so if you think you could be 
>> served by that and have ideas about it, speak.
> yes!
> The format based logging might be useful to avoid performance issues such as 
> [1] or [2].

And debugk in that pull request answers my query nicely:

  Log.debugk "received %s (%s)" @@ fun k -> k (pretty k) (pretty v)

...is neat.

MirageOS-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.