Re: [mpich-discuss] Is there a way to set timeout to mpi process launch?