15.3.801  src/lib/x-kit/xclient/src/wire/socket-closer-imp-old.api

## socket-closer-imp-old.api
#
# Track sockets open to X-servers
# and close them all at application exit.

# Compiled by:
#     src/lib/x-kit/xclient/xclient-internals.sublib


# This api is implemented in:
#
#     src/lib/x-kit/xclient/src/wire/socket-closer-imp-old.pkg

stipulate
    package xok = xsocket_old;                          # xsocket_old   is from   src/lib/x-kit/xclient/src/wire/xsocket-old.pkg
herein

    api Socket_Closer_Imp_Old {
        #
        note_xsocket:    xok::Xsocket -> Void;          # Tell imp about a new xsocket which will need closing at exit.
        forget_xsocket:  xok::Xsocket -> Void;          # Tell imp we've closed the xsocket ourself, so it can forget about it.
    };

end;

## COPYRIGHT (c) 1990, 1991 by John H. Reppy.  See SMLNJ-COPYRIGHT file for details.
## Subsequent changes by Jeff Prothero Copyright (c) 2010-2015,
## released per terms of SMLNJ-COPYRIGHT.