tcp_shutdown(+Socket)

This kills the connection to Socket. Socket gets, through tcp_select/[1,2], an end_of_file. If there is no connection to Socket, it silently fails.

Note that when tcp_select/[1,2] (see ipc-tcp-trm-select1) returns end_of_file(Socket), tcp_shutdown(Socket) has already been called.

tcp_shutdown/1 raises an instantiation error when Socket is uninstantiated.