SYNOPSIS
        void disconnect(object ob)

DESCRIPTION
        Handle the loss of the IP connection for the (formerly)
        interactive object ob. The connection can be lost because the
        the underlying transport connection was lost (``netdead''), or
        because of a call to exec() or remove_interactive().

        The connection will be unbound upon return from this call, so
        for the time of this call, interactive(ob) will still
        return TRUE even if the actual network connection has already
        been lost.

        This method is not called if the object has been destructed
        already.

SEE ALSO
        connect(M), remove_player(M), remove_interactive(E), exec(E),
        interactive(E)