2eedcd2539
Tie stdin to /dev/null to prevent stdin from being closed and thus making stdin not work in slurm allocations. This commit was SVN r15892. The following Trac tickets were found above: Ticket 1047 --> https://svn.open-mpi.org/trac/ompi/ticket/1047