563564565566567568569570571572573
while (subscriberIter.advance()) { Subscription sub = subscriberIter.getNode().getSubscription(); // we don't make browsers send the same stuff twice if (sub.seesRequeues()) { updateSubRequeueEntry(sub, entry); } }
880881882883884885886887888889890
while (subscriberIter.advance() && entry.isAvailable()) { Subscription sub = subscriberIter.getNode().getSubscription(); // we don't make browsers send the same stuff twice if (sub.seesRequeues()) { updateSubRequeueEntry(sub, entry); } }
586587588589590591592593594595596
923924925926927928929930931932933
555556557558559560561562563564565
793794795796797798799800801802803
564565566567568569570571572573574
881882883884885886887888889890891
821822823824825826827828829830831
while (subscriberIter.hasNext() && entry.isAvailable()) { Subscription sub = subscriberIter.next(); // we don't make browsers send the same stuff twice if (sub.seesRequeues()) { updateSubRequeueEntry(sub, entry); } }