bugfix in server log coloration