On Tue, Feb 28, 2017 at 5:07 AM, Magnus Hagander <mag...@hagander.net>

> server_log seems like a better choice then I think. So +1 for that.

​server_log +1


> In theory cluster_log since it's a "cluster level log", but given how many
> people already get confused by the term cluster being used that way, I
> think that while maybe technically correct, that would be a very bad
> choice.

Reply via email to