Re: [mpich-discuss] MPI and signal handlers