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