Close a socket.
close_socket closes a socket that was previously opened with open_socket_accept, open_socket_connect, or socket_accept_connect. For a detailed example, see open_socket_accept.
|
Socket (input_control) |
socket_id -> integer |
| Socket number. | |
close_socket is reentrant and processed without parallelization.
open_socket_accept, open_socket_connect, socket_accept_connect
System
