carta

MPI_Close_port(3) on Linux

The text 448f097cb44e, as Debian 8 (Jessie) shipped it.

close port

MPI_Close_port(3) on Linux now