protected void dump(StringBuilder b, String indent) {
b.append(toString());
b.append('\n');
for (ServerSessionListener child : _listeners) {
b.append(indent);
b.append(" +-");
b.append(child);
b.append('\n');
}
if (isLocalSession()) {
b.append(indent);
b.append(" +-");
_localSession.dump(b, indent + " ");
}
}
public void flush() {
Scheduler scheduler;
synchronized (getLock()) {
_lazyTask.cancel();
scheduler = _scheduler;
if (scheduler != null) {
if (scheduler instanceof AbstractHttpTransport.HttpScheduler) _scheduler = null;
}
}
if (scheduler != null) {
scheduler.schedule();
// If there is a scheduler, then it's a remote session
// and we should not perform local delivery, so we return
return;
}
// do local delivery
if (_localSession != null && hasNonLazyMessages()) {
for (ServerMessage msg : takeQueue()) _localSession.receive(new HashMapMessage(msg));
}
}
