protected synchronized void unmapSubscrip (int oid)
    {
        ClientProxy rec;
        synchronized (_subscrips) {
            rec = _subscrips.remove(oid);
        }
        if (rec != null) {
            rec.unsubscribe();
        } else {
            boolean alreadyDestroyed = _destroyedSubs.remove(oid);
            if (!alreadyDestroyed) {
                log.warning("Missing subscription in unmap", "client", this, "oid", oid);
            }
        }
    }
protected synchronized void unmapSubscrip ( int oid ) { ClientProxy rec ; synchronized ( _subscrips ) { rec = _subscrips . remove ( oid ) ; } if ( rec != null ) { rec . unsubscribe ( ) ; } else { boolean alreadyDestroyed = _destroyedSubs . remove ( oid ) ; if ( ! alreadyDestroyed ) { log . warning ( "Missing subscription in unmap" , "client" , this , "oid" , oid ) ; } } }
Makes a note that this client is no longer subscribed to this object. The subscription map
is used to clean up after the client when it goes away.