#23 different style for server-log messages