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 !!