Details
-
Improvement
-
Resolution: Fixed
-
Minor
-
None
-
None
-
9223372036854775807
Description
leak-finder.pl is checking for leaks, it's not an error in the script if it finds some.
The main effect is to make it more annoying to redirect the script output. (It also prints some basic status information to stderr, for which there is no good reason at all.)