The text 6cc3ff9e45b9, as Debian 4.0 (Etch) shipped it.
Close a server port
MPI_Close_port(3) on Linux now
