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