On Tue, Feb 28, 2017 at 5:07 AM, Magnus Hagander <magnus@hagander.net> wrote:
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.