1 <!-- ##### SECTION Title ##### -->
4 <!-- ##### SECTION Short_Description ##### -->
5 Open/close sockets, and get info on peer.
7 <!-- ##### SECTION Long_Description ##### -->
12 <!-- ##### SECTION See_Also ##### -->
17 <!-- ##### FUNCTION gras_socket_client ##### -->
26 <!-- # Unused Parameters # -->
31 <!-- ##### FUNCTION gras_socket_server ##### -->
39 <!-- # Unused Parameters # -->
43 <!-- ##### FUNCTION gras_socket_client_ext ##### -->
56 <!-- ##### FUNCTION gras_socket_server_ext ##### -->
68 <!-- ##### FUNCTION gras_socket_client_from_file ##### -->
78 <!-- ##### FUNCTION gras_socket_server_from_file ##### -->
88 <!-- ##### FUNCTION gras_socket_close ##### -->
94 <!-- # Unused Parameters # -->
99 <!-- ##### FUNCTION gras_socket_peer_name ##### -->
106 <!-- # Unused Parameters # -->
110 <!-- ##### FUNCTION gras_socket_peer_port ##### -->
119 <!-- ##### FUNCTION gras_socket_my_port ##### -->