I believe that this is fixed in 1.3.2.
On Apr 14, 2009, at 10:32 AM, Geoffroy Pignot wrote:
> I am not sure it's a bug but I think we wait for something else when
> we kill a proccess - by the way , the signal propagation works well.
> I read an explanation on a previous thread - ( http://www.open-mpi.org/community/lists/users/2009/03/8514.php
> ) . .
> It's not important but it could contribute to make openmpi better !!
> users mailing list