No matches were found for subject:"\[Boost\-mpi\] Is there a way to make a master process to ignore terminations of slave processes\?"