Re: [mpich-discuss] What does mpich mpiexec do with signals?