Is there a way to disable the log color so that the logger doesn't insert control codes for color into the output stream. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20150309/2df7f049/attachment.html>