/** * Sends new deltas to a particular user on a particular wavelet. * Updates the participants of the specified wavelet if the participant was added or removed. * * @param waveletName the waveletName which the deltas belong to. * @param participant on the wavelet. * @param newDeltas newly arrived deltas of relevance for participant. Must * not be empty. * @param add whether the participant is added by the first delta. * @param remove whether the participant is removed by the last delta. */ private void participantUpdate(WaveletName waveletName, ParticipantId participant, DeltaSequence newDeltas, boolean add, boolean remove) { if(LOG.isFineLoggable()) { LOG.fine("Notifying " + participant + " for " + waveletName); } if (add) { waveletInfo.notifyAddedExplicitWaveletParticipant(waveletName, participant); } waveletInfo.getUserManager(participant).onUpdate(waveletName, newDeltas); if (remove) { waveletInfo.notifyRemovedExplicitWaveletParticipant(waveletName, participant); } }