2b9f9f67a4
happen in the event thread so that the process starters can actually reap the dead processes when required * Added logic to ompi_mpi_abort to kill both local and remote groups This commit was SVN r3808.
Copyright (c) 2004-2005 The Trustees of Indiana University.
All rights reserved.
Copyright (c) 2004-2005 The Trustees of the University of Tennessee.
All rights reserved.
Copyright (c) 2004-2005 High Performance Computing Center Stuttgart,
University of Stuttgart. All rights reserved.
$COPYRIGHT$
Additional copyrights may follow
$HEADER$
This is the world's greatest MPI.
...more to write here
should be a short file, referring to the real docs.