1.  ssssoooocccckkkkeeeetttt____cccclllloooosssseeee((((3333))))        MMMMuuuuddddOOOOSSSS ((((5555 SSSSeeeepppp 1111999999994444))))         ssssoooocccckkkkeeeetttt____cccclllloooosssseeee((((3333))))
    3.  NNNNAAAAMMMMEEEE
    4.       socket_close() - close a socket
    6.  SSSSYYYYNNNNOOOOPPPPSSSSIIIISSSS
    7.       #include <socket_err.h>
    9.       int socket_close( int s );
    11.  DDDDEEEESSSSCCCCRRRRIIIIPPPPTTTTIIIIOOOONNNN
    12.       socket_close() closes socket s. This frees a socket efun
    13.       slot for use.
    15.  RRRREEEETTTTUUUURRRRNNNN VVVVAAAALLLLUUUUEEEESSSS
    16.       socket_close() returns:
    18.            EESUCCESS on success.
    20.            a negative value indicated below on error.
    22.  EEEERRRRRRRROOOORRRRSSSS
    23.       EEFDRANGE      Descriptor out of range.
    25.       EEBADF         Descriptor is invalid.
    27.       EESECURITY     Security violation attempted.
    29.  SSSSEEEEEEEE AAAALLLLSSSSOOOO
    30.       socket_accept(3), socket_create(3)
    32.  Page 1                                          (Writen 5/23/97)