Did you know ... Search Documentation:
Predicate tipc_close_socket/1
Availability::- use_module(library(tipc/tipc)).
Source[det]tipc_close_socket(+SocketId)
Closes the indicated socket, making SocketId invalid. In stream applications, sockets are closed by closing both stream handles returned by tipc_open_socket/3. There are two cases where tipc_close_socket/1 is used because there are no stream-handles:

  • After tipc_accept/3, the server does a fork/1 to handle the client in a sub-process. In this case the accepted socket is not longer needed from the main server and must be discarded using tipc_close_socket/1.
  • If, after discovering the connecting client with tipc_accept/3, the server does not want to accept the connection, it should discard the accepted socket immediately using tipc_close_socket/1.
SocketId the socket identifier returned by tipc_socket/2 or tipc_accept/3.
Tags are associated to your profile if you are logged in
Tags: