249ddf8fff
param says we should Also, check for != 0, rather than == 1, as there are way too many double locks, but they'll get warned when we do the double lock. No need to warn again, in a meaningless way. Originally part of r15167, reverted with r15172. This commit was SVN r15173. The following SVN revision numbers were found above: r15167 --> open-mpi/ompi@faa401dc47 r15172 --> open-mpi/ompi@5f16251808