His dump prints are going to stderr (and hence into the server's error log) so that shouldn't make a difference one way or the other.