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.