         NAME
              closeint_socket - close open socket

         SYNOPSIS
              #include "types.h"
              #include "channel.h"

              void close_socket(Socket *socket);

         DESCRIPTION
              Function closes open socket.  The argument of close_socket
              is:

              socket
                   Pointer to socket. Socket must be opened by
                   open_socket() or connect_socket().

         RETURN VALUE
              None.

         AUTHOR
              Werner von Bloh (bloh@pik-potsdam.de)

         SEE ALSO
              open_socket(3), connect_socket(3)