fjpanag commented on pull request #2692: URL: https://github.com/apache/incubator-nuttx/pull/2692#issuecomment-761621354
@btashton The priority is logged as string, i.e. `[INFO]`, so I believe it is unambiguous. Only pid is logged as a plain number. So everything can be clear as to what it refers to, regardless of the configuration. I have no objection to prefixing pid of course... Just saying that it does not seem necessary to do so. ---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: us...@infra.apache.org
