The text b0d4aede3539, as Debian 3.0 (Woody) shipped it.
Disconnect a client and server
MPI_Comm_disconnect(3) on Linux now