This web mail archive is frozen.
This page is part of a frozen web archive of this mailing list.
You can still navigate around this archive, but know that no new mails
have been added to it since July of 2016.
Click here to be taken to the new web archives of this list; it includes all the mails that are in this frozen archive plus all new mails that have been sent to the list since it was migrated to the new archives.
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