The text 62f213584bba, as Debian 3.1 (Sarge) shipped it.
Disconnect a client and server
MPI_Comm_disconnect(3) on Linux now
