carta

MPI_Comm_disconnect(3) on Linux

The text b0d4aede3539, as Debian 3.0 (Woody) shipped it.

Disconnect a client and server

MPI_Comm_disconnect(3) on Linux now