Hi Pavel,
should we take the detection of /dev/null output
as an OK exception?That seems like a different issue, not addressed by the change, or the coding standards in general. Overall, it seems to me it should be ok if a program wants to do something special for /dev/null. Certainly that is the reality of what quite a few programs do. best, karl
